Volume 77,
Number 1-2,
2007
Special Issue on ASM'05
- Jean-Raymond Abrial, Stefan Hallerstede:
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B.
1-28
Electronic Edition (link) BibTeX
- Richard Banach, Czeslaw Jeske, Michael Poppleton, Susan Stepney:
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1, 1) Forward Refinements.
29-69
Electronic Edition (link) BibTeX
- Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer:
CoreASM: An Extensible ASM Execution Engine.
71-103
Electronic Edition (link) BibTeX
- Calvin Kai Fan Tang, Eugenia Ternovska:
Model Checking Abstract State Machines with Answer Set Programming.
105-141
Electronic Edition (link) BibTeX
- Susanne Graf, Andreas Prinz:
Time in State Machines.
143-174
Electronic Edition (link) BibTeX
- Seshadhri Comandur, Anil Seth, Somenath Biswas:
RAM Simulation of BGS Model of Abstract-state Machines.
175-185
Electronic Edition (link) BibTeX
Volume 77,
Number 3,
2007
Volume 77,
Number 4,
2007
Typed Lambda Calculi and Applications 2005,
Selected Papers
Copyright © Sat May 16 23:59:27 2009
by Michael Ley (ley@uni-trier.de)