Milner, Robin Calculi for synchrony and asynchrony. (English) Zbl 0512.68026 Theor. Comput. Sci. 25, 267-310 (1983). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 5 ReviewsCited in 182 Documents MSC: 68N25 Theory of operating systems 68Q65 Abstract data types; algebraic specification Citations:Zbl 0452.68027 PDF BibTeX XML Cite \textit{R. Milner}, Theor. Comput. Sci. 25, 267--310 (1983; Zbl 0512.68026) Full Text: DOI Link References: [1] Cardelli, L., Real time agents, (Proc. ICALP 82. Proc. ICALP 82, Lecture Notes in Computer Science, 140 (1982), Springer: Springer Berlin), 94-106 [2] Hoare, C.; Brookes, S.; Roscoe, W., A theory of communicating sequential processes (1981), Programming Research Group Oxford University · Zbl 0628.68025 [3] Hennessy, M., A term model for synchronous processes, (CSR-77-81 (1981), Computer Science Department, Edinburgh University) · Zbl 0503.68022 [4] Hoare, C., A model for communicating sequential processes, (Programming Research Group, Oxford University (1978)) · Zbl 0841.68042 [5] Hennessy, M.; Plotkin, G., A term model for CCS, (Proc. 9th MFCS, Poland. Proc. 9th MFCS, Poland, Lecture Notes in Computer Science, 88 (1982), Springer: Springer Berlin) · Zbl 0479.68011 [6] Lamport, L., ‘Sometime’ is sometimes ‘not never’, Proc. 7th ACM Symposium on Principles of Programming Languages (1980) [7] Milner, R., Processes; a mathematical model of computing agents, (Rose, H. E.; Shepherdson, J. C., Logic Colloquium 72 (1973), North-Holland: North-Holland Amsterdam), 157-174 [8] Milner, R., A Calculus of Communicating Systems, (Lecture Notes in Computer Science, 92 (1980), Springer: Springer Berlin) · Zbl 0452.68027 [9] Milner, R., On relating synchrony and asynchrony, (CSR-75-80 (1981), Computer Science Department, Edinburgh University) [10] Milner, R., A complete inference system for a class of regular behaviours, (CSR-111-82 (1982), Computer Science Department, Edinburgh University) · Zbl 0562.68065 [11] Milner, R., Four combinators for concurrency, Proc. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 104-110 (August 1982), Ottawa [12] Milne, G., Synchronized behaviour algebras: a model for interacting systems (1979), Department of Computer Science, University of Southern California [13] Milne, G.; Milner, R., Concurrent processes and their syntax, J. ACM, 26, 2, 302-321 (1979) · Zbl 0395.68030 [14] Nielson, M.; Plotkin, G.; Winskel, G., Petri nets, events structures and domains, Theoret. Comput. Sci., 13, 1, 85-108 (1981), Part I · Zbl 0452.68067 [15] Park, D., Concurrency and automata on infinite sequences, (Proc. 5th GI Conference. Proc. 5th GI Conference, Lecture Notes in Computer Science, 104 (1981), Springer: Springer Berlin) · Zbl 0457.68049 [16] Plotkin, G., A structured approach to operational semantics, (DAIMI FN-19 (1981), Computer Science Department, Aarhus University) [17] Pnueli, A., The temporal semantics of concurrent programs, Theoret. Comput. Sci., 13, 1, 45-60 (1981) · Zbl 0441.68010 [18] Sanderson, M., Forthcoming Ph.D. Thesis (1982), Computer Science Department, Edinburgh University [19] Winskel, G., Event structure semantics for CCS and related languages, (Proc. ICALP 82. Proc. ICALP 82, Lecture Notes in Computer Science, 140 (1982), Springer: Springer Berlin), 561-576 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.