A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems-Reference-Cited by-同舟云学术

A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems

Published:2003 Issue: Volume: Page:87-101
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Merz Stephan,Wirsing Martin,Zappe Júlia

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36578-8_7

Reference13 articles.

1. Martín Abadi and Leslie Lamport. The existence of refinement mappings. Theoretical Computer Science, 81(2):253–284, May 1991.

2. Lect Notes Comput Sci;L. Caires,2001

3. Luca Cardelli and Andrew Gordon. Anytime, anywhere. Modal logics for mobile ambients. In Proceedings of the 27th ACMSymposium on Principles of Programming Languages, pages 365–377. ACM Press, 2000.

4. Luca Cardelli and Andrew Gordon. Mobile ambients. Theoretical Computer Science, 240:177–213, 2000.

5. Cédric Fournet and Georges Gonthier. The reflexive chemical abstract machine and the Join-calculus. In Proceedings of the 23rd ACM Symposium on Principles of Programming Languages, pages 372–385, St. Petersburg Beach, Florida, January 1996. ACM.

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

1. Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal Logic;Automatic Control and Computer Sciences;2022-12

2. Software Reuse of Mobile Systems based on Modelling;MATEC Web of Conferences;2016

3. Ode to the PST;Software, Services, and Systems;2015

4. A Homage to Martin Wirsing;Software, Services, and Systems;2015

5. A method of refinement in UML-B;Software & Systems Modeling;2013-12-14