A Parametric Tool for Applied Process Calculi
2013 (English)In: 13th International Conference on Application of Concurrency to System Design (ACSD 2013), IEEE Computer Society, 2013, 180-185 p.Conference paper (Refereed)
High-level formalisms for concurrency are often defined as extensions of the the pi-calculus; a growing number is geared towards particular applications or computational paradigms. Psi-calculi is a parametric framework that can accommodate a wide spectrum of such calculi. It allows the definition of process calculi that extend the pi-calculus with arbitrary data, logic and logical assertions. All such psi calculi inherit machine-checked proofs of the meta-theory such as compositionality and bisimulation congruence.
We present a generic tool for analysing processes from any psi calculus instance, and for implementing new instances with the help of a supporting library. The tool implements symbolic execution and bisimulation algorithms for both unicast and wireless broadcast communication. We illustrate the tool by examples from pi-calculus and the area of wireless sensor networks.
Place, publisher, year, edition, pages
IEEE Computer Society, 2013. 180-185 p.
, International Conference on Application of Concurrency to System Design, ISSN 1550-4808
Research subject Computing Science
IdentifiersURN: urn:nbn:se:uu:diva-203381DOI: 10.1109/ACSD.2013.22ISI: 000333827300019ISBN: 978-0-7695-5035-0OAI: oai:DiVA.org:uu-203381DiVA: diva2:636374
13th International Conference on Application of Concurrency to System Design (ACSD), Barcelona, Spain, July 8 - 10, 2013
FunderSwedish Foundation for Strategic Research , RIT08-0065