×

zbMATH — the first resource for mathematics

Calculi for synchrony and asynchrony. (English) Zbl 0512.68026

MSC:
68N25 Theory of operating systems
68Q65 Abstract data types; algebraic specification
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Cardelli, L., Real time agents, (), 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, () · Zbl 0503.68022
[4] Hoare, C., A model for communicating sequential processes, () · Zbl 0841.68042
[5] Hennessy, M.; Plotkin, G., A term model for CCS, () · 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, (), 157-174
[8] Milner, R., A calculus of communicating systems, () · Zbl 0452.68027
[9] Milner, R., On relating synchrony and asynchrony, ()
[10] Milner, R., A complete inference system for a class of regular behaviours, () · 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, () · Zbl 0457.68049
[16] Plotkin, G., A structured approach to operational semantics, ()
[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, (), 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.