Concurrency Can't Be Observed, Asynchronously [chapter]

Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
2010 Lecture Notes in Computer Science  
The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the introduction of a non-interleaving extension of barbed equivalence. This notion is then exploited in order to prove that concurrency cannot be observed through asynchronous interactions, i.e., that the interleaving and concurrent versions of a suitable asynchronous weak equivalence actually coincide. The theory is validated on two case studies, related to nominal
more » ... li (π-calculus) and visual specification formalisms (Petri nets).
doi:10.1007/978-3-642-17164-2_29 fatcat:3k47gaehkreinmq2nxqpb5qxe4