Abstract State Machines




ASM Studies

Mobile Systems

Citation: Marcelo de Almeida Maia and Roberto da Silva Bigonha, "An ASM-Based Approach for Mobile Systems", Technical Report LLP-12/99, Programming Language Laboratory, Computer Science Department, Universidade Federal de Minas Gerais, 1999.
Summary: Using the Interacting ASM techniques introduced previously, the authors describe the use of ASMs to specify the semantics of active mobile objects. Mobility is expressed by dynamic changes in the communication topology.
Subjects: Distributed Systems
Download: PostScript, PDF, Compressed PostScript