Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/mobile.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| 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: |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/mobile.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT