Process Algebras for Petri Nets - The Alphabetization of Distributed Systems

Roberto Gorrieri. Process Algebras for Petri Nets - The Alphabetization of Distributed Systems. Monographs in Theoretical Computer Science. An EATCS Series, Springer, 2017. [doi]

Abstract

Abstract is missing.