A spatial logic for concurrency—II-Reference-Cited by-同舟云学术

A spatial logic for concurrency—II

Published:2004-09 Issue:3 Volume:322 Page:517-565
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Caires Luı́s,Cardelli Luca

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference24 articles.

1. L. Caires, A model for declarative programming and specification with concurrency and mobility, Ph.D. Thesis, Dept. de Informática, FCT, Universidade Nova de Lisboa, 1999.

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

3. L. Caires, L. Cardelli, A spatial logic for concurrency (Part II), in: CONCUR 2002 (13th Internat. Conf.), Lecture Notes in Computer Science, Springer, Berlin, 2002.

4. A spatial logic for concurrency (Part I);Caires;Inform. and Comput.,2003

5. Verifiable and executable specifications of concurrent objects in Lπ;Caires,1998

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

1. PSO based Intelligent Decision Support System for Smart Grid;2023 International Conference on Sustainable Computing and Data Communication Systems (ICSCDS);2023-03-23

2. A Model-Based Toolchain to Verify Spatial Behavior of Cyber-Physical Systems;Robotic Systems;2020

3. High-Level Models of Unconventional Computations;Studies in Systems, Decision and Control;2019

4. Model-Based Development and Spatiotemporal Behavior of Cyber-Physical Systems;Advances in Web Technologies and Engineering;2019

5. Unconventional Computers Designed on Swarm Behaviours;Emergence, Complexity and Computation;2018-05-26