Abstract
We provide full CSP with a truly concurrent and distributed operational semantics based on C/E Systems: given a CSP process Pr, a contact-free C/E System is derived the case graph of which is understood as the operational semantics of Pr. Thus concurrency and causal dependencies among the actions a process can perform are explicitly described.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Apt, K.R. and Francez, N.: Modeling the Distributed Termination Convention of CSP. TOPLAS 6, 3 (1984), 370–379.
Astesiano, E. and Zucca, E.: Semantics by Translation of CSP and its Relationship with β-Semantics. Proc. 10th MFCS, LNCS 118, Springer-Verlag, 1981.
Best, E.: COSY: Its Relation to Nets and to CSP. In: Petri Nets: Applications and Relationships to Other Models of Concurrency (W. Brauer, W. Reisig and G. Rozenberg, Eds) LNCS 255, pp. 416–440, Springer-Verlag, 1987.
Brookes, S.D., Hoare, C.A.R. and Roscoe, A.D. A Theory of Communicating Sequential Processes, Journal of ACM, 31, 3 (1984), 560–599.
De Cindio, F., De Michelis, G., Pomello, L. and Simone, C.: A Petri Net Model for CSP. Proc. CIL '81, Barcellona 1981.
Degano, P., De Nicola, R. and Montanari, U.: A Distributed Operational Semantics for CCS Based on Condition/Event Systems, Nota Interna I.E.I B4-21, 1987.
Degano, P. and Montanari, U.: Concurrent Histories: A Basis for Observing Distributed Systems. Journal of Computer and System Sciences, 34, 1/2 (1987), 422–461.
Genrich, H.J., Lautenbach, K. and Thiagarajan, P.S.: Elements of General Net Theory. In: Net Theory and Applications (W. Brauer, ed.) LNCS 84, pp. 21–163, Springer-Verlag, 1980.
Goltz, U. and Reisig, W.: CSP Programs as Nets with Individual Tokens. LNCS 188, pp. 169–196, Springer-Verlag, 1985.
Hoare, C.A.R.: Communicating Sequential Process, CACM 21, 8, (1978), 666–677.
Milne, G.: CIRCAL and the Representation of Communication, Concurrency and Time, ACM TOPLAS, 7, 2, (1985) pp. 270–298.
Milner, R.: A Calculus of Communicating Systems. LNCS 92, Springer-Verlag, 1980.
Olderog, E.-R.: Operational Petri Net Semantics for CCSP. In Advances in Petri Nets 1987, (G. Rozenberg, ed.) LNCS 266, pp. 196–223, Springer-Verlag, 1987.
Plotkin, G.: A Structural Approach to Operational Semantics. Lecture Notes, Aarhus University, Department of Computer Science, 1981.
Plotkin, G.: An Operational Semantics for CSP. In: Formal Description of Programming Language Concepts-II (D. Bjørner, ed.), North Holland Publishing Company, 1983, pp. 199–223.
Reisig, W.: Partial Order Semantics versus Interleaving Semantics and its Impacts on Fairness, Proc. 11th ICALP, Antwerpen, 1984.
Reisig, W.: Petri Nets: An Introduction. EACTS Monographs on Theoretical Computer Science, Springer-Verlag, 1985.
Taubner, D.: A Step Failures Consistent Translation of Regular TCSP to Finite and Safe Petri Nets. Internal Report, Technische Universität Munchen, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Degano, P., Gorrieri, R., Marchetti, S. (1988). An exercise in concurrency: A CSP process as a condition/event system. In: Rozenberg, G. (eds) Advances in Petri Nets 1988. APN 1987. Lecture Notes in Computer Science, vol 340. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50580-6_25
Download citation
DOI: https://doi.org/10.1007/3-540-50580-6_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50580-8
Online ISBN: 978-3-540-46059-6
eBook Packages: Springer Book Archive