Behavioral and Spatial Observations in a Logic for the π-Calculus-Reference-Cited by-同舟云学术

Behavioral and Spatial Observations in a Logic for the π-Calculus

Published:2004 Issue: Volume: Page:72-89
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Caires Luís

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24727-2_7

Reference26 articles.

1. Amadio, R., Cardelli, L.: Subtyping recursive types. ACM Transactions on Programming Languages and Systems 15(4), 575–631 (1993)

2. Caires, L.: A Model for Declarative Programming and Specification with Concurrency and Mobility. PhD thesis, Dept. de Informática, FCT, Universidade Nova de Lisboa (1999)

3. Lecture Notes in Computer Science;L. Caires,2002

4. Caires, L., Cardelli, L.: A Spatial Logic for Concurrency (Part I). Information and Computation 186(2), 194–235 (2003)

5. Lecture Notes in Computer Science;L. Cardelli,2003

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

1. Using session types for reasoning about boundedness in the $$\pi $$-calculus;Acta Informatica;2019-09-01

2. Spatio-temporal model checking of vehicular movement in public transport systems;International Journal on Software Tools for Technology Transfer;2018-01-24

3. Using Session Types for Reasoning About Boundedness in the Pi-Calculus;Electronic Proceedings in Theoretical Computer Science;2017-08-31

4. A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting;Electronic Notes in Theoretical Computer Science;2012-12

5. Tools and Verification;Lecture Notes in Computer Science;2011