Structural inclusion in the pi-calculus with replication

Publisher： Elsevier

ISSN： 0304-3975

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

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

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

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

A concurrent constraint and pi-calculus-based language for service contracting

By Chen Ruoyu Liao Lejian Fang Zhi

International Journal of Wireless and Mobile Computing, Vol. 6, Iss. 6, 2013-11 ,pp. : 564-572

Inderscience Publishers

Access to resources Recommend Favorite