On confluence in the π-caleulus
Date
1997Author
Philippou, AnnaWalker, D.
ISSN
0302-9743Source
24th International Colloquium on Automata, Languages and Programming, ICALP 1997Volume
1256Pages
314-324Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
An account of the basic theory of confluence in the 7r-calculus is presented, techniques for showing confluence of mobile systems are given, and the utility of some of the theory presented is illustrated via an analysis of a distributed algorithm. © Springer-Verlag Berlin Heidelberg 1997.