A multiset semantics for the pi-calculus with replication

Publisher： Elsevier

ISSN： 0304-3975

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

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

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

Multisets and structural congruence of the pi-calculus with replication

By Engelfriet J. Gelsema T.

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

Elsevier

Access to resources Recommend Favorite

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

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

A fully abstract denotational semantics for the -calculus

By Hennessy M.

Theoretical Computer Science, Vol. 278, Iss. 1, 2002-05 ,pp. : 53-89

Elsevier

Access to resources Recommend Favorite