What do you get from a π-calculus semantics?

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 635-647
https://doi.org/10.1007/3-540-58184-7_137

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

pi -calculus semantics for the concurrent configuration language Darwin
Published by Institute of Electrical and Electronics Engineers (IEEE) ,1993
Constructing distributed systems in Conic
IEEE Transactions on Software Engineering, 1989
Term graph rewriting
Published by Springer Nature ,1987