Preview
Unable to display preview. Download preview PDF.
References
M. A. Bednarczyk. Categories of Asynchronous Transition Systems. PhD Thesis, University of Sussex, 1988.
M. Hennessy. Algebraic Theory of Processes. Cambridge, Massachusetts, 1988.
C.A.R. Hoare. Communicating Sequential Processes. Englewood Cliffs, 1985.
R.M. Keller. Formal Verification of Parallel Programs. Communications of the ACM, n. 19, vol. 7, pp. 371–384, 1976.
A. Mazurkiewicz. Basic Notions of Trace Theory. In lecture notes for the REX summerschool in temporal logic, LNCS n. 354, pp. 285–363, Springer-Verlag, 1988.
R. Milner. Communication and Concurrency. Englewood Cliffs, 1989.
M. Nielsen, G. Plotkin, and G. Winskel. Petri nets, Event Structures and Domains, part 1. Theoretical Computer Science, n. 13, pp. 85–108, 1981.
C.A. Petri. Kommunikation mit Automaten. PhD thesis, Institut für Instrumentelle Mathematik, Bonn, FRG, 1962.
G. Plotkin. A Structural Approach to Operational Semantics. Technical report DAIMI FN-19, Computer Science Department, Aarhus University, 1981.
V. Sassone, M. Nielsen, and G. Winskel. A Classification of Models for Concurrency. To appear as Technical Report DAIMI, Computer Science Department, Aarhus University, 1993.
V. Sassone, M. Nielsen, and G. Winskel. Deterministic Behavioural Models for Concurrency. To appear as Technical Report DAIMI, Computer Science Department, Aarhus University, 1993. Extended abstract to appear in Proceedings of MFCS '93.
M.W. Shields. Concurrent Machines. Computer Journal, n. 28, pp. 449–465, 1985.
A. Stark. Concurrent Transition Systems. Theoretical Computer Science, n. 64, pp. 221–269, 1989.
G. Winskel. Event Structure Semantics of CCS and Related Languages. In proceedings of ICALP '82, LNCS n. 140, pp. 561–567, Springer-Verlag, 1982. Expanded version available as technical report DAIMI PB-159, Computer Science Department, Aarhus University.
G. Winskel. Synchronization Trees. Theoretical Computer Science, n. 34, pp. 33–82, 1985.
G. Winskel. Event Structures. In Advances in Petri nets, LNCS n. 255, pp. 325–392, Springer-Verlag, 1987.
G. Winskel, and M. Nielsen. Models for Concurrency. To appear in the Handbook of Logic in Computer Science. A draft appears as technical report DAIMI PB-429, Computer Science Department, Aarhus University, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sassone, V., Nielsen, M., Winskel, G. (1993). A classification of models for concurrency. In: Best, E. (eds) CONCUR'93. CONCUR 1993. Lecture Notes in Computer Science, vol 715. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57208-2_7
Download citation
DOI: https://doi.org/10.1007/3-540-57208-2_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57208-4
Online ISBN: 978-3-540-47968-0
eBook Packages: Springer Book Archive