Many-Sorted ASMs (Extended Abstract)

Citation: Hans Tonino, "A Sound and Complete SOS-Semantics for Non-Distributed Deterministic 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 a structural operational semantics (SOS) for non-distributed deterministic ASMs.
Subjects: ASM Explorations
Download: PostScript, PDF, Compressed PostScript
Notes: See also the full version.