The Receptive Distributed π-Calculus-Reference-Cited by-同舟云学术

The Receptive Distributed π-Calculus

Published:1999 Issue: Volume: Page:304-315
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Amadio Roberto M.,Boudol Gérard,Lhoussaine Cédric

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46691-6_24

Reference10 articles.

1. R. Amadio, I. Castellani and D. Sangiorgi, On bisimulations for the asynchronous calculus, CONCUR’96, Springer Lect. Notes in Comp. Sci. 1119 (1996) 147–162. 313

2. R. Amadio, An asynchronous model of locality, failure, and process mobility, In Proc. COORDINATION’97, Springer Lect. Notes in Comp. Sci. 1282 (1997). Extended version appeared as Res. Report INRIA 3109. 304, 305, 305, 306, 308, 308, 311, 313, 313, 313, 314

3. R. Amadio, On modeling mobility, Journal of Theoretical Computer Science, to appear (1999). 305, 305, 313, 313

4. G. Boudol, Typing the use of resources in a concurrent calculus, Proc. ASIAN 97, Springer Lect. Notes in Comp. Sci. 1345 (1997) 239–253. 305

5. L. Cardelli and A. Gordon, Mobile ambients, In Proc. FoSSaCS, ETAPS’98, Springer Lect. Notes in Comp. Sci. 1378 (1998) 140–155. 308, 308

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

1. Dynamics of reputation in mobile agents systems and weighted timed automata;Information and Computation;2022-01

2. A Calculus for Trust Management;FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science;2004

3. Linear Forwarders;CONCUR 2003 - Concurrency Theory;2003

4. Type Inference for a Distributed π-Calculus;Programming Languages and Systems;2003

5. Mobile Processes: A Commented Bibliography;Modeling and Verification of Parallel Processes;2001