Replication vs. Recursive Definitions in Channel Based Calculi-Reference-Cited by-同舟云学术

Replication vs. Recursive Definitions in Channel Based Calculi

Published:2003 Issue: Volume: Page:133-144
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Busi Nadia,Gabbrielli Maurizio,Zavattaro Gianluigi

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45061-0_12

Reference9 articles.

1. M. Boreale. On the Expressiveness of Internal Mobility in Name-Passing Calculi. Theoretical Computer Science, 195(2): 205–226, 1998.

2. N. Busi, M. Gabbrielli, and G. Zavattaro. Replication vs. Recursive Definitions in Channel Based Calculi (extended version). Available at http://cs.unibo.it/~zavattar/papers.html.

3. L. Cardelli and A.D. Gordon. Mobile Ambients. Theoretical Computer Science, 240(1):177–213, 2000.

4. A. Finkel and Ph. Schnoebelen. Well-Structured Transition Systems Everywhere ! Theoretical Computer Science, 256:63–92, 2001.

5. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.

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

1. Remark on Some $$\pi $$ Variants;Dependable Software Engineering. Theories, Tools, and Applications;2017

2. Non-deterministic structures of computation;Mathematical Structures in Computer Science;2014-11-10

3. Distinguishing and relating higher-order and first-order processes by expressiveness;Acta Informatica;2012-10-18

4. Musings on Encodings and Expressiveness;Electronic Proceedings in Theoretical Computer Science;2012-08-12

5. Rewriting Approximations for Properties Verification over CCS Specifications;Fundamentals of Software Engineering;2012