A spatial logic for concurrency (part I)-Reference-Cited by-同舟云学术

A spatial logic for concurrency (part I)

Published:2003-11 Issue:2 Volume:186 Page:194-235
ISSN:0890-5401
Container-title:Information and Computation
language:en
Short-container-title:Information and Computation

Author:

Caires Luı́s,Cardelli Luca

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference33 articles.

1. G. Boudol. Asynchrony and the π-calculus (note), Rapport de Recherche 1702, INRIA Sofia-Antipolis, May 1992

2. L. Caires, A model for declarative programming and specification with concurrency and mobility, PhD thesis, Dept. de Informática, FCT, Universidade Nova de Lisboa, 1999

3. L. Caires. A specification logic for mobility, Technical Report 4, Dept. de Informática, FCT, Universidade Nova de Lisboa, 2000

4. A spatial logic for concurrency (Part I);Caires,2001

5. A spatial logic for concurrency (Part II);Caires,2002

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

1. A Modeling and Verification Method of Cyber-Physical Systems Based on AADL and Process Algebra;International Journal of Software Engineering and Knowledge Engineering;2023-09-27

2. A Spatial Logic for Simplicial Models;Logical Methods in Computer Science;2023-07-26

3. On Bisimilarity for Polyhedral Models and SLCS;Formal Techniques for Distributed Objects, Components, and Systems;2023

4. Minimisation of Spatial Models Using Branching Bisimilarity;Formal Methods;2023

5. A study on team bisimulation and H-team bisimulation for BPP nets;Theoretical Computer Science;2022-01