Abstract State Machines


Subjects

Methodology

Applications

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
Notes: