Synchronized Interacting ASMs

Citation: Wolfgang Schönfeld, "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 extension to ASMs which permits one to specify forced synchronization of agent moves (a la Petri nets) is proposed and explored, using some examples.
Subjects: ASM Extensions
Download: PostScript, PDF, Compressed PostScript