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 |
