Multisets and structural congruence of the pi-calculus with replication

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.211, Iss.1, 1999-01, pp. : 311-337

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A new natural structural congruence in the pi-calculus with replication

By Engelfriet Joost Gelsema Tjalling

Acta Informatica, Vol. 40, Iss. 6-7, 2004-05 ,pp. : 385-430

Springer Publishing Company

Access to resources Recommend Favorite

Structural inclusion in the pi-calculus with replication

By Engelfriet J. Gelsema T.

Theoretical Computer Science, Vol. 258, Iss. 1, 2001-05 ,pp. : 131-168

Elsevier

Access to resources Recommend Favorite

A multiset semantics for the pi-calculus with replication

By Engelfriet J.

Theoretical Computer Science, Vol. 153, Iss. 1, 1996-01 ,pp. : 65-94

Elsevier

Access to resources Recommend Favorite

Modeling individual’s aging within a bacterial population using a pi-calculus paradigm

By Apolloni Bruno Bassis Simone Clivio Alberto Gaito Sabrina Malchiodi Dario

Natural Computing, Vol. 6, Iss. 1, 2007-03 ,pp. : 33-53

Springer Publishing Company

Access to resources Recommend Favorite

Some congruence properties for -calculus bisimilarities

By Boreale M. Sangiorgi D.

Theoretical Computer Science, Vol. 198, Iss. 1, 1998-05 ,pp. : 159-176

Elsevier

Access to resources Recommend Favorite