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:20 - 6 self

Documents Related by Co-Citation

243 Abstract State Machines: A Method for High-Level System Design and Analysis – Egon Börger - 2003
419 Evolving algebras 1993: Lipari guide – Y Gurevich - 1993
3643 Communicating Sequential Processes – C. A. R. Hoare - 1985
37 Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines – E Börger, U Glässer, W Müller - 1995
562 Introduction to the Theory of Computation – M Sipser - 1996
1165 The Z Notation: A Reference Manual – J M Spivey - 1989
604 Communicating and Mobile Systems: the π-calculus – R Milner - 1999
2301 The Anatomy of the Grid - Enabling Scalable Virtual Organizations – Ian Foster, Carl Kesselman, Steven Tuecke - 2001
1371 The model checker SPIN – Gerard J. Holzmann - 1997