CoreASM: An extensible ASM execution engine (2005)

by Roozbeh Farahbod , Vincenzo Gervasi , Uwe Glässer
Venue:PROC. OF THE 12TH INT’L WORKSHOP ON ABSTRACT STATE MACHINES
Citations:17 - 5 self

Documents Related by Co-Citation

220 Abstract State Machines: A Method for High-Level System Design and Analysis – Egon Börger - 2003
408 Evolving Algebras 1993: Lipari Guide – Y Gurevich - 1995
35 Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines – E Börger, U Glässer, W Müller - 1995
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985
114 Sequential abstract state machines capture sequential algorithms – Yuri Gurevich
538 Introduction to the Theory of Computation – M Sipser - 1997
1115 The Z Notation: A Reference Manual – J M Spivey - 1989
100 Java and the Java Virtual Machine - Definition, Verification, Validation – Robert Stärk, Joachim Schmid, Egon Börger - 2001
589 Communication and Mobile System: π-calculus – R Milner - 1999