caa a22 4500 46798879X CHVBK 20180323112539.0 cr unu---uuuuu 170328e19900401xx s 000 0 eng 10.1007/BF03037451 doi (NATIONALLICENCE)springer-10.1007/BF03037451 A functional style of programming with CSP-like communication mechanisms [Elektronische Daten] [A. Goswami, L. Patnaik] This paper introduces CSP-like communication mechanisms into Backus' Functional Programming (FP) systems extended by nondeterministic constructs. Several new functionals are used to describe nondeterminism and communication in programs. The functionals union and restriction are introduced into FP systems to develop a simple algebra of programs with nondeterminism. The behaviour of other functionals proposed in this paper are characterized by the properties of union and restriction. The axiomatic semantics of communication constructs are presented. Examples show that it is possible to reason about a communicating program by first transforming it into a non-communicating program by using the axioms of communication, and then reasoning about the resulting non-communicating version of the program. It is also shown that communicating programs can be developed from non-communicating programs given as specifications by using a transformational approach. Ohmsha, Ltd. and Springer, 1990 Functional Programming nationallicence Nondeterminism nationallicence Communication nationallicence Program Verification nationallicence Program Transformation nationallicence Goswami A. Department of Computer Science, University of Warwick, CV4 7AL, Coventry, U. K. aut Patnaik L. Department of Computer Science and Automation, Indian Institute of Science, 560 102, Bangalore, India aut New Generation Computing Springer-Verlag 7/4(1990-04-01), 341-364 0288-3635 7:4<341 1990 7 354 https://doi.org/10.1007/BF03037451 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF03037451 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Goswami A. Department of Computer Science, University of Warwick, CV4 7AL, Coventry, U. K aut NATIONALLICENCE 700 1- Patnaik L. Department of Computer Science and Automation, Indian Institute of Science, 560 102, Bangalore, India aut NATIONALLICENCE 773 0- New Generation Computing Springer-Verlag 7/4(1990-04-01), 341-364 0288-3635 7:4<341 1990 7 354 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer