Lectures on a Calculus for Communicating Systems
Sequential computation, which until quite recently was the only mode of computation available in well-known programming languages, has a well-established model theory. This fact owes much to the lambda-calculus, which existed long before any notion of implementing a programming language. Yet the primary purpose of the lambda calculus was to study evaluation or execution; it was (and is) a paradigm for evaluation, in the same way that the predicate calculus is a paradigm for deduction. More recently, and largely due to Dana Scott, the model theory of the lambda calculus has grown and has been harmonised with its evaluation theory.
KeywordsNormal Form Composition Operator Free Variable Lambda Calculus Agent Expression
Unable to display preview. Download preview PDF.
- 1.Costa, G. and Stirling, C. (1983). A Fair Calculus of Communicating Systems. Vol. 154, Lecture Notes in Computer Science, Springer-Verlag, pp. 97–108.Google Scholar
- 3.Hennessy, M. and Stirling, C. (1983). The Power of the Future Perfect in Program Logics. Technical Report CSR-156–83, Computer Science Dept, University of Edinburgh.Google Scholar
- 4.Hoare, C.A.R., Brookes, S.D. and Roscoe, A.D. (1981). A Theory of Communicating Sequential Processes, Technical Monograph PRG-16, Computing Laboratory, University of Oxford.Google Scholar
- 7.Milner, R. (1982b). A Finite Delay Operator in Synchronous CCS. Technical Report CSR-116–82, Computer Science Dept, University of Edinburgh.Google Scholar
- 10.Park, D. (1981). Concurrency and Automata on Infinite Sequences. In Vol. 104, Lecture Notes in Computer Science, Springer-Verlag.Google Scholar