In this issue

Papers published: 9

Total pages: 202

Unique views: 5336

Total views: 6374

open access

Go to issue

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

Download
Abstract ...
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: 527 | Total: 598  | Access Period:
 914-916
HTML
XML
PDF
Partial ...
Research Article
Partial Updates: Exploration
Yuri Gurevich, Nikolai Tillmann
10.3217/jucs-007-11-0917
 28-11-2001
 Unique: 577 | Total: 683  | Access Period:
 917-951
HTML
XML
PDF
Verification ...
Research Article
Verification of ASM Refinements Using Generalized Forward Simulation
Gerhard Schellhorn
10.3217/jucs-007-11-0952
 28-11-2001
 Unique: 617 | Total: 708  | Access Period:
 952-979
HTML
XML
PDF
A ...
Research Article
A Logic for Abstract State Machines
Robert Stärk, Stanislas Nanchen
10.3217/jucs-007-11-0980
 28-11-2001
 Unique: 576 | Total: 714  | Access Period:
 980-1005
HTML
XML
PDF
A ...
Research Article
A Neural Abstract Machine
Egon Börger, Diego Sona
10.3217/jucs-007-11-1006
 28-11-2001
 Unique: 649 | Total: 836  | Access Period:
 1006-1023
HTML
XML
PDF
Formal ...
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: 619 | Total: 746  | Access Period:
 1024-1049
HTML
XML
PDF
ASM-Based ...
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: 636 | Total: 758  | Access Period:
 1050-1067
HTML
XML
PDF
Compiling ...
Research Article
Compiling Abstract State Machines to C++
Joachim Schmid
10.3217/jucs-007-11-1068
 28-11-2001
 Unique: 529 | Total: 632  | Access Period:
 1068-1087
HTML
XML
PDF
An ...
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: 606 | Total: 699  | Access Period:
 1088-1112
HTML
XML
PDF

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

OK