This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Hoare, C.A.R., Communicating Sequential Processes, Prentice Hall, (1985).
Mazurkiewicz, A., Basic Notions of Trace Theory, Lecture Notes in Computer Science 354, 285–363, Springer-Verlag (1988).
Milner, R., Communication and Concurrency, Prentice Hall, (1989).
Nielsen, M., Rozenberg, G., Thiagarajan, P.S., Elementary Transition Systems, DAIMI PB-310, Computer Science Department, Aarhus University (1990), to appear in Theoretical Computer Science.
Nielsen, M., Rozenberg, G., Thiagarajan, P.S., Transition Systems, Event Structures and Unfoldings, DAIMI-PB353, Computer Science Department, Aarhus University (1991).
Reisig, W., Petri Nets: an Introduction, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, (1985).
Rozenberg, G., Behaviour of elementary net systems, Lecture Notes in Computer Science 254, 60–94, Springer-Verlag (1987).
Thiagarajan, P.S., Elementary net systems, Lecture Notes in Computer Science 254, 26–59, Springer-Verlag (1987).
Winskel, G., Event Structures, Lecture Notes in Computer Science 235, 325–392, Springer-Verlag (1987).
Winskel, G., Nielsen, M., Models for Concurrency, in preparation.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nielsen, M. (1991). Models for concurrency. In: Tarlecki, A. (eds) Mathematical Foundations of Computer Science 1991. MFCS 1991. Lecture Notes in Computer Science, vol 520. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54345-7_47
Download citation
DOI: https://doi.org/10.1007/3-540-54345-7_47
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54345-9
Online ISBN: 978-3-540-47579-8
eBook Packages: Springer Book Archive