Abstract
Concurrent actions and non sequential processes are fundamental in any kind of system, not only computing systems; hence, an adequate formalization of these notions is required in order to understand systems and formally treat them, and many attempts have been made in this direction.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Genrich,H.J., Lautenbach,K., Thiagarajan,P.S., Elements of general net theory, in “Net theory and applications” (W. Brauer ed.), Lect. Not, in Comp. Sci. 84, Springer, Berlin, I98O, pp. 21–163
Goldblatt,R., Topoi: the categorial analysis of logic, North Holland, Amsterdam, 1979
Mazurkiewicz,A., Concurrent program schemes and their interpretations, DAIMI PB-78, Aarhus University Publication, 1977
Nielsen,M.,Plotkin,G., Winskel G., Petri nets, event structures and domains (part I), Theor. Comp. Science vol.13, n.1, 1981, pp.
Petri,C.A., Non-sequential processes, GMD-ISF Rep. 77–01, I977
Winkowski,J., An algebraic approach to concurrency, Lect. Not. in Comp. Sci. 74, Springer, Berlin, 1979, pp. 523–532
Winskel,G., An exercise in processes with infinite pasts, Workshop on Petri Nets, Strasbourg, I98O
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mauri, G., Brambilla, M. (1982). On the Logic of Concurrency and Conflict. In: Girault, C., Reisig, W. (eds) Application and Theory of Petri Nets. Informatik-Fachberichte, vol 52. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68353-4_43
Download citation
DOI: https://doi.org/10.1007/978-3-642-68353-4_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11189-4
Online ISBN: 978-3-642-68353-4
eBook Packages: Springer Book Archive