Dynamic Input/Output Automata: A Formal Model for Dynamic Systems-Reference-Cited by-同舟云学术

Dynamic Input/Output Automata: A Formal Model for Dynamic Systems

Published:2001 Issue: Volume: Page:137-151
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Attie Paul C.,Lynch Nancy A.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44685-0_10

Reference10 articles.

1. Lect Notes Comput Sci;T. Araragi,2000

2. Paul Attie and Nancy Lynch. Dynamic input/output automata: a formal model for dynamic systems. Technical report, Northeastern University, Boston, Mass., 2001. Available at http://www.ccs.neu.edu/home/attie/pubs.html .

3. P.C. Attie. Liveness-preserving simulation relations. In Proceedings of the 18’th Annual ACM Symposium on Principles of Distributed Computing, pages 63–72, 1999.

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

5. Lect Notes Comput Sci;C. Fournet,1996

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

1. Smartphones for public transport planning and recommendation in developing countries—A review;WIREs Data Mining and Knowledge Discovery;2020-11-13

2. Modeling Actor Systems Using Dynamic I/O Automata;Lecture Notes in Computer Science;2016

3. Research Challenges in Modelling Ecosystems;Software Engineering and Formal Methods;2015

4. Formal Technical Process Specification and Verification for Automated Production Systems;System Analysis and Modeling: Models and Reusability;2014

5. Quantified Differential Dynamic Logic for Distributed Hybrid Systems;Computer Science Logic;2010