Bisimulations in the Join-Calculus-Reference-Cited by-同舟云学术

Bisimulations in the Join-Calculus

Published:1998 Issue: Volume: Page:68-86
ISSN:
Container-title:Programming Concepts and Methods PROCOMET ’98
language:
Short-container-title:

Author:

Boreale M.,Fournet C.,Laneve C.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35358-6_9

Reference21 articles.

1. R. M. Amadio, I. Castellani, and D. Sangiorgi. On bisimulations for the asynchronous ir-calculus. RR 2913, INRIA, June 1996. A shorter version appeared in [18].

2. M. Boreale, C. Fournet, and C. Laneve. Bisimulations in the join-calculus. Available electronically (ftp://ftp.cs.unibo.it/pub/laneve/equiv.ps.gz Oct. 1997.

3. M. Boreale and D. Sangiorgi. Bisimulation in name-passing calculi without matching. Submitted for publication, Dec. 1997.

4. M. Boreale. On the expressiveness of internal mobility in name-passing calculi. In Montanari and Sassone [18].

5. G. Boudol. Asynchrony and the it-calculus (note). Rapport de Recherche 1702, INRIA Sophia-Antipolis, May 1992.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the Expressiveness of Joining and Splitting;Lecture Notes in Computer Science;2019

2. On the Expressiveness of Joining;Electronic Proceedings in Theoretical Computer Science;2015-08-19

3. A Survey of Name-Passing Calculi and Crypto-Primitives;Lecture Notes in Computer Science;2004

4. A Model for Conformance Testing of Mobile Agents in a MASIF Framework;Formal Approaches to Agent-Based Systems;2003

5. Bisimulations in the join-calculus;Theoretical Computer Science;2001-09