Evolving algebras 1993: Lipari guide
Specification and validation methods
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
The formal semantics of SDL-2000: status and perspectives
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Abstract state machines capture parallel algorithms
ACM Transactions on Computational Logic (TOCL)
Abstract Communication Model for Distributed Systems
IEEE Transactions on Software Engineering
Ordinary interactive small-step algorithms, I
ACM Transactions on Computational Logic (TOCL)
Abstract state machines capture parallel algorithms: Correction and extension
ACM Transactions on Computational Logic (TOCL)
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Persistent queries in the behavioral theory of algorithms
ACM Transactions on Computational Logic (TOCL)
Ambient Abstract State Machines with applications
Journal of Computer and System Sciences
An ASM-Characterization of a class of distributed algorithms
Rigorous Methods for Software Construction and Analysis
| Hi-index | 0.00 |
The Abstract State Machine (ASM) formalism has proved an effective and durable foundation for the formal semantics of SDL. The distributed ASMs that underpin the SDL semantics are defined in terms of agents that execute ASM programs concurrently, acting on partial views of a global state. The discrete identities of successive global states are ensured by allowing input from the external world only between steps, and by having all agents refer to an external global time. But distributed systems comprising independent agents do not have a natural global time. Nor do they have natural global states. This paper takes well-known concepts from relativity and applies them to ASMs. The spacetime in which an ASM exists and moves is defined, and some properties that must be preserved by transformations of the frame of reference of an ASM are identified. Practical implications of this approach are explored through reservation and web service examples.