Author： Engelfriet Joost Gelsema Tjalling
Publisher： Springer Publishing Company
ISSN： 0001-5903
Source： Acta Informatica, Vol.40, Iss.6-7, 2004-05, pp. : 385-430
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Multisets and structural congruence of the pi-calculus with replication
Theoretical Computer Science, Vol. 211, Iss. 1, 1999-01 ,pp. :
Access to resources
Recommend
Structural inclusion in the pi-calculus with replication
Theoretical Computer Science, Vol. 258, Iss. 1, 2001-05 ,pp. :
A multiset semantics for the pi-calculus with replication
Theoretical Computer Science, Vol. 153, Iss. 1, 1996-01 ,pp. :
Some congruence properties for -calculus bisimilarities
Theoretical Computer Science, Vol. 198, Iss. 1, 1998-05 ,pp. :