Abstract State Machines: An Overview of the Project
- 1 January 2004
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Abstract state machines capture parallel algorithmsACM Transactions on Computational Logic, 2003
- The formal semantics of SDL-2000: Status and perspectivesComputer Networks, 2003
- Runtime verification of .NET contractsJournal of Systems and Software, 2003
- Abstract State Machines 2003Published by Springer Nature ,2003
- Generating finite state machines from abstract state machinesACM SIGSOFT Software Engineering Notes, 2002
- Java and the Java Virtual MachinePublished by Springer Nature ,2001
- Sequential abstract-state machines capture sequential algorithmsACM Transactions on Computational Logic, 2000
- EVOLVING ALGEBRAS: AN ATTEMPT TO DISCOVER SEMANTICSPublished by World Scientific Pub Co Pte Ltd ,1993
- The semantics of the C programming languageLecture Notes in Computer Science, 1993
- On Computable Numbers, with an Application to the Entscheidungsproblem. A CorrectionProceedings of the London Mathematical Society, 1938