Locality and interleaving semantics in calculi for mobile processes

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.155, Iss.1, 1996-02, pp. : 39-83

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

Non-interleaving semantics for mobile processes

By Degano P. Priami C.

Theoretical Computer Science, Vol. 216, Iss. 1, 1999-03 ,pp. : 237-270

Elsevier

Access to resources Recommend Favorite

Exploiting interleaving semantics in symbolic state-space generation

By Ciardo Gianfranco Lüttgen Gerald Miner Andrew

Formal Methods in System Design, Vol. 31, Iss. 1, 2007-08 ,pp. : 63-100

Springer Publishing Company

Access to resources Recommend Favorite

A uniform approach to true-concurrency and interleaving semantics for Petri nets

By Priese L. Wimmel H.

Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. : 219-256

Elsevier

Access to resources Recommend Favorite

Finite-valued Semantics for Canonical Labelled Calculi

By Baaz Matthias Lahav Ori Zamansky Anna

Journal of Automated Reasoning, Vol. 51, Iss. 4, 2013-12 ,pp. : 401-430

Springer Publishing Company

Access to resources Recommend Favorite

Variations on mobile processes

By Fu Y.

Theoretical Computer Science, Vol. 221, Iss. 1, 1999-06 ,pp. : 327-368

Elsevier

Access to resources Recommend Favorite