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:10 - 4 self

Documents Related by Co-Citation

187 Abstract State Machines: A Method for High-Level System Design and Analysis – Egon Börger - 2003
384 Evolving Algebras 1993: Lipari Guide – Yuri Gurevich - 1995
34 Formal definition of an abstract VHDL’93 simulator by EAmachines – U Glässer, E Börger, W Müller - 1995
12 Towards Comprehensive Tool Support for Abstract State Machines – G Del Castillo - 1999
11 Capturing requirements by Abstract State Machines: The Light Control case study – Egon Borger, Elvinia Riccobene, Joachim Schmid - 2000
91 Java and the Java Virtual Machine - Definition, Verification, Validation – Robert Stärk, Joachim Schmid, Egon Börger - 2001
104 Sequential abstract state machines capture sequential algorithms – Yuri Gurevich
5 Design and Specification of the CoreASM Execution Engine – Roozbeh Farahbod, Vincenzo Gervasi - 2005
13 Report on a Practical Application of ASMs in Software Design – Egon Börger, Peter Päppinghaus, Joachim Schmid - 2000
30 Model Checking Support for the ASM High-Level Language – Giuseppe Del Castillo, Kirsten Winter - 2000
12 The Formal Semantics of SDL-2000: Status and Perspectives – U Glässer, R Gotzhein, A Prinz
11 Abstract Operational Semantics of the Business Process Execution Language for Web Services – Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi - 2005
23 Specification and Validation of the Business Process Execution Language for Web Services – Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi - 2004
48 Abstract state machines capture parallel algorithms – Andreas Blass, Yuri Gurevich - 2003
4 Executing ASM Specitications with AsmGofer. Last visited – Joachim Schmid - 2006
20 The ASM ground model method as a foundation of requirements engineering – Egon Börger - 2003
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
9 Executable Specifications based on Dynamic Algebras – Angelica Maria Kappel - 1993
4 An Abstract Communication Architecture for Modeling Distributed Systems – U Glässer, Y Gurevich, M Veanes