Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology2008 (English)In: Automata, Languages and Programming, PT 2: Proceedings of ICALP 2008 / [ed] Aceto L, Damgard I, Goldberg LA, Halldorsson MM, Ingolfsdottir A, Walukiewicz I, 2008, 87-98 p.Conference paper (Refereed)
We demonstrate a general framework for extending the pi-calculus with data terms. In this we generalise and improve on several related efforts such as the spi-calculus and the applied pi-calculus, also including pattern matching and polyadic channels. Our framework uses a single untyped notion of agent, name and scope, an operational semantics without structural equivalence and a simple definition of bisimilarity. We provide general criteria on the semantic equivalence of data terms; with these we prove algebraic laws and that bisimulation is preserved by the operators in the usual way. The definitions are simple enough that an implementation in an automated proof assistant is feasible.
Place, publisher, year, edition, pages
2008. 87-98 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 5126
IdentifiersURN: urn:nbn:se:uu:diva-16592DOI: 10.1007/978-3-540-70583-3_8ISI: 000257663100008ISBN: 978-3-540-70582-6OAI: oai:DiVA.org:uu-16592DiVA: diva2:44363
35th International Colloquium on Automata, Languages and Programming Keykjavik, ICELAND, JUL 07-11, 2008