Publications
No fulltext in DiVA
Author:
Johansson, Magnus (Uppsala University, Computer Systems) (Mobility)
Parrow, Joachim (Uppsala University, Computer Systems) (Mobility)
Victor, Björn (Uppsala University, Computer Systems) (Mobility)
Bengtson, Jesper (Uppsala University, Computer Systems) (Mobility)
Title:
Extended pi-Calculi
Department:
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems
Publication type:
Conference paper (Refereed)
Language:
English
In:
Automata, Languages and Programming: Proceedings of ICALP 2008
Place of publ.:
Berlin
Publisher:
Springer-Verlag
Series:
Lecture Notes in Computer Science, ISSN 0302-9743; 5126
Pages:
87-98
Year of publ.:
2008
URI:
urn:nbn:se:uu:diva-16592
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-16592
ISBN:
978-3-540-70582-6
Subject category:
Computer science
Abstract(en) :

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.

Available from:
2008-12-03
Created:
2008-12-03
Last updated:
2009-11-18
Statistics:
127 hits