In this issue

Papers published: 9

Total pages: 202

Printed version: Paperback

Unique views: 3462

Total views: 4077

open access

Go to issue

« Previous
Issue 7(11)
 Next »
Issue No
from 0 to 30
Number No
JUCS - Journal of Universal Computer Science 7(11) (2001)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Editorial
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue
Egon Börger
10.3217/jucs-007-11
 28-11-2001
 Unique: 308 | Total: 356  | Access Period:
 914-916
HTML
XML
PDF
Research Article
Partial Updates: Exploration
Yuri Gurevich, Nikolai Tillmann
10.3217/jucs-007-11-0917
 28-11-2001
 Unique: 392 | Total: 455  | Access Period:
 917-951
HTML
XML
PDF
Research Article
Verification of ASM Refinements Using Generalized Forward Simulation
Gerhard Schellhorn
10.3217/jucs-007-11-0952
 28-11-2001
 Unique: 408 | Total: 456  | Access Period:
 952-979
HTML
XML
PDF
Research Article
A Logic for Abstract State Machines
Robert Stärk, Stanislas Nanchen
10.3217/jucs-007-11-0980
 28-11-2001
 Unique: 385 | Total: 470  | Access Period:
 980-1005
HTML
XML
PDF
Research Article
A Neural Abstract Machine
Egon Börger, Diego Sona
10.3217/jucs-007-11-1006
 28-11-2001
 Unique: 400 | Total: 518  | Access Period:
 1006-1023
HTML
XML
PDF
Research Article
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models
Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin Löwis, Andreas Prinz
10.3217/jucs-007-11-1024
 28-11-2001
 Unique: 395 | Total: 464  | Access Period:
 1024-1049
HTML
XML
PDF
Research Article
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence
Angelo Gargantini, Elvinia Riccobene
10.3217/jucs-007-11-1050
 28-11-2001
 Unique: 407 | Total: 478  | Access Period:
 1050-1067
HTML
XML
PDF
Research Article
Compiling Abstract State Machines to C++
Joachim Schmid
10.3217/jucs-007-11-1068
 28-11-2001
 Unique: 364 | Total: 428  | Access Period:
 1068-1087
HTML
XML
PDF
Research Article
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol
Charles Wallace, Guy Tremblay, Jose Amaral
10.3217/jucs-007-11-1088
 28-11-2001
 Unique: 403 | Total: 452  | Access Period:
 1088-1112
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK