On the Expressive Power of Joint Input-Reference-Cited by-同舟云学术

On the Expressive Power of Joint Input

Published:1998 Issue:2 Volume:16 Page:145-152
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Nestmann Uwe

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference12 articles.

1. On Bisimulations for the Asynchronous π-Calculus;Amadio;Theoretical Computer Science,1998

2. R. M. Amadio. On modelling mobility. A revised extended version of “An Asynchronous Model of Locality, Failure, and Process Mobility”, in Proceedings of COORDINATION '97, volume 1282 of LNCS. June 1998.

3. On the Expressiveness of Internal Mobility in Name-Passing Calculi;Boreale;Theoretical Computer Science,1998

4. C. Fournet and G. Gonthier. The Reflexive Chemical Abstract Machine and the Join-Calculus. In Proceedings of POPL '96, pages 372–385. 1996.

5. C. Fournet. The Join-Calculus: A Calculus for Distributed Mobile Programming. PhD thesis, INRIA Rocquencourt, 1998. To appear.

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

1. Leaf-First Zipper Semantics;Lecture Notes in Computer Science;2024

2. The link-calculus for open multiparty interactions;Information and Computation;2020-12

3. A Constraint-based Language for Multiparty Interactions;Electronic Notes in Theoretical Computer Science;2020-09

4. A formal approach to open multiparty interactions;Theoretical Computer Science;2019-04

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