Brief announcement: Dynamic input/output automata, a formal model for dynamic systems

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn , Issue , 2001, Pages 314-316

  Attie, P C ^a   Lynch, N A ^a  

^a NORTHEASTERN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; SEMANTICS;

DYNAMIC INPUT-OUTPUT AUTOMATON MODEL; DYNAMIC SYSTEMS;

AUTOMATA THEORY;

EID: 0034776984     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (4)

1. On formal modeling of agent computations
2. Dynamic input/output automata: A formal model for dynamic systems
3. An introduction to input/output automata