Symmetric π-calculus
Symmetric π-Calculus

An alternative presentation of the π-calculus is given. This version of the π-calculus is symmetric in the sense that communications are symmetric and there is no difference between input and output prefixes. The point of the symmetric π-calculus is that it has no abstract names. The set of closed names is therefore homogeneous. The π-calculus can be fully embedded into the symmetric π-calculus. The symmetry changes the emphasis of the communication mechanism of the π-calculus and opens up possibility for further variations. Supported by NNSFC, grant number 69503006. Fu Yuxi is an Associate Professor in the Department of Computer Science, Shanghai Jiao Tong University. He received his Ph.D. degree in computer science in 1992 from Manchester University, England. His current research interests include type theory, semantics and concurrency theory.