Free-Algebra Models for the pi-Calculus

By Ian David Bede Stark. Foundations of Software Science and Computation Structure, 2005

627 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/4339f9b1b0ff2f67137a0473a908f5bf3aa61d8d