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:13 - 5 self

Documents Related by Co-Citation

213 Abstract State Machines: A Method for High-Level System Design and Analysis – Egon Börger - 2003
403 Evolving Algebras 1993: Lipari Guide – Yuri Gurevich - 1995
35 Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines – E Börger, U Glässer, W Müller - 1995
114 Sequential abstract state machines capture sequential algorithms – Yuri Gurevich
13 Towards Comprehensive Tool Support for Abstract State Machines – G Del Castillo - 1999
12 Capturing requirements by Abstract State Machines: The Light Control case study – Egon Borger, Elvinia Riccobene, Joachim Schmid - 2000
97 Java and the Java Virtual Machine - Definition, Verification, Validation – Robert Stärk, Joachim Schmid, Egon Börger - 2001
58 Abstract state machines capture parallel algorithms – Andreas Blass, Yuri Gurevich - 2003
15 Report on a Practical Application of ASMs in Software Design – Egon Börger, Peter Päppinghaus, Joachim Schmid - 2000
6 Design and Specification of the CoreASM Execution Engine – Roozbeh Farahbod, Vincenzo Gervasi - 2005
12 Abstract communication model for distributed systems – Uwe Glässer, Yuri Gurevich, Margus Veanes - 2004
7 Composing Web-service-like abstract state machines (ASMs – Andreas Friesen, Jens Lemcke - 2007
31 Model Checking Support for the ASM High-Level Language – Giuseppe Del Castillo, Kirsten Winter - 2000
13 The Formal Semantics of SDL-2000: Status and Perspectives – U Glässer, R Gotzhein, A Prinz
24 Specification and Validation of the Business Process Execution Language for Web Services – Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi - 2004
12 Abstract Operational Semantics of the Business Process Execution Language for Web Services – Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi - 2005
21 The ASM ground model method as a foundation of requirements engineering – Egon Börger - 2003
4 Executing ASM Specitications with AsmGofer. Last visited – Joachim Schmid - 2006
18 R.F.: A high-level modular definition of the semantics of C#. Theoretical Computer Science 336(2-3 – E Börger, N Fruja, V Gervasi, Stärk - 2005