On confluence in the π-caleulus
Source24th International Colloquium on Automata, Languages and Programming, ICALP 1997
Google Scholar check
MetadataShow full item record
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.