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 |