| Citation: | Marcelo de Almeida Maia, Vladimir Oliveira Di Iorio, and Roberto da Silva Bigonha, "Interacting Abstract State Machines". In Proceedings of the 28th Annual Conference of the German Society of Computer Science, Technical Report, Magdeburg University, 1998. |
|---|---|
| Summary: | An extended abstract describing an extension to ASMs supporting the interaction of independent ASM agents by means of message passing. |
| Subjects: | ASM Extensions |
| Download: | PostScript, PDF, Compressed PostScript |
| Notes: | See the full version of this paper. |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/iasmabst.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT