For the most recent entries see the Petri Nets Newsletter.

An Exercise in Concurrency: a CSP Process as a Condition/Event System.

Degano, P.; Gorrieri, R.; Marchetti, S.

In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 340: Advances in Petri Nets 1988, pages 85-105. Springer-Verlag, 1988.

Abstract: Full CSP is provided with a truly concurrent 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 dependicies among the actions a process can perform are explicitly described.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography