Message-Passing Interacting ASMs
(Extended Abstract)

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.