Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 7

Content of Issue 11
DOI: 10.3217/jucs-007-11
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue E. Börger, U. Glaesser 914
Partial Updates: Exploration Y. Gurevich, N. Tillmann 917
Verification of ASM Refinements Using Generalized Forward Simulation G. Schellhorn 952
A Logic for Abstract State Machines R. F. Stärk, S. Nanchen 980
A Neural Abstract Machine E. Börger, D. Sona 1006
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models R. Eschbach, U. Glässer, R. Gotzhein, M. von Löwis, A. Prinz 1024
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence A. Gargantini, E. Riccobene 1050
Compiling Abstract State Machines to C++ J. Schmid 1068
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol C. Wallace, G. Tremblay, J. N. Amaral 1088