Dynamic input/output automata: A formal model for dynamic systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2154, Issue , 2001, Pages 137-151

  Attie, Paul C ^a,b   Lynch, Nancy A ^b  

^a NORTHEASTERN UNIVERSITY   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; MACHINE COMPONENTS; MOBILE AGENTS; OBJECT ORIENTED PROGRAMMING;

ACCESS PERMISSIONS; EXTERNAL BEHAVIOR; INPUT/OUTPUT AUTOMATA; MOBILE AGENT SYSTEM; NIPPON TELEPHONES; OBJECT-ORIENTED PROGRAM; PARALLEL COMPOSITION OPERATORS; STATE MACHINE MODELS;

TELEGRAPH SYSTEMS;

EID: 84944031473     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44685-0_10     Document Type: Conference Paper

References (10)

1. Tadashi Araragi, Paul Attie, Idit Keidar, Kiyoshi Kogure, Victor Luchangco, Nancy Lynch, and Ken Mano. On formal modeling of agent computations. In NASA Workshop on Formal Approaches to Agent-Based Systems, Apr. 2000. To appear in Springer LNCS.
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. Cedric Fournet, Georges Gonthier, Jean-Jacques Levy, Luc Maranget, and Didier Remy. A calculus of mobile agents. In Proceedings of the 7th International Conference on Concurrency Theory (CONCUR’96), Springer-Verlag, LNCS 1119, pages 406–421, Aug. 1996.
6. Joseph Y. Halpern and Yoram Moses. Knowledge and Common Knowledge in a Distributed Environment. In Proceedings of the 3’rd Annual ACM Symposium on Principles of Distributed Computing, pages 50–61, 1984.
7. Nancy Lynch and Mark Tuttle. An introduction to Input/Output automata. CWIQuarterly, 2(3):219–246, September 1989. Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands. Also, Technical Memo MIT/LCS/TM-373, Laboratory for Computer Science, Massachusetts Institute of Technology.
8. Nancy Lynch, Michael Merritt, William Weihl, and Alan Fekete. Atomic Transactions. Morgan Kaufmann, 1994.
9. R. Milner. Communicating and mobile systems: the π-calculus. Addison-Wesley, Reading, Mass., 1999.
10. J. Riely and M. Hennessy. A typed language for distributed mobile processes. In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1998.