Lecture Notes in Computer Science - Abstract State Machines - Theory and Applications
Latest Publications

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540679592, 9783540445180

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Encoding Abstract State Machines in PVS

Lecture Notes in Computer Science - Abstract State Machines - Theory and Applications ◽

10.1007/3-540-44518-8_17 ◽

2000 ◽

pp. 303-322 ◽

Author(s):

Angelo Gargantini ◽

Elvinia Riccobene

Keyword(s):

State Machines ◽

Abstract State Machines

Download Full-text

Towards an ASM Thesis for Unconventional Algorithms

Lecture Notes in Computer Science - Abstract State Machines - Theory and Applications ◽

10.1007/3-540-44518-8_8 ◽

2000 ◽

pp. 112-130

Author(s):

Wolfgang Reisig

Download Full-text

Model Checking Abstract State Machines and Beyond

Lecture Notes in Computer Science - Abstract State Machines - Theory and Applications ◽

10.1007/3-540-44518-8_18 ◽

2000 ◽

pp. 323-340 ◽

Author(s):

Marc Spielmann

Keyword(s):

Model Checking ◽

State Machines ◽

Abstract State Machines

Download Full-text

Description and Simulation of Microprocessor Instruction Sets Using ASMs

Lecture Notes in Computer Science - Abstract State Machines - Theory and Applications ◽

10.1007/3-540-44518-8_15 ◽

2000 ◽

pp. 266-286 ◽

Author(s):

Jürgen Teich ◽

Philipp W. Kutter ◽

Ralph Weper

Keyword(s):

Instruction Sets

Download Full-text

On Verification of Refinements of Timed Distributed Algorithms

Lecture Notes in Computer Science - Abstract State Machines - Theory and Applications ◽

10.1007/3-540-44518-8_4 ◽

2000 ◽

pp. 34-49 ◽

Author(s):

J. Cohen ◽

A. Slissenko

Keyword(s):

Distributed Algorithms

Download Full-text

Report on a Practical Application of ASMs in Software Design

Lecture Notes in Computer Science - Abstract State Machines - Theory and Applications ◽

10.1007/3-540-44518-8_20 ◽

2000 ◽

pp. 361-366 ◽

Author(s):

Egon Börger ◽

Peter Päppinghaus ◽

Joachim Schmid

Keyword(s):

Software Design ◽

Practical Application

Download Full-text

Abstract State Machines and Pure Mathematics

Lecture Notes in Computer Science - Abstract State Machines - Theory and Applications ◽

10.1007/3-540-44518-8_2 ◽

2000 ◽

pp. 9-21 ◽

Author(s):

Andreas Blass

Keyword(s):

State Machines ◽

Abstract State Machines ◽

Pure Mathematics

Download Full-text

nvestigating Java Concurrency Using Abstract State Machines

Lecture Notes in Computer Science - Abstract State Machines - Theory and Applications ◽

10.1007/3-540-44518-8_10 ◽

2000 ◽

pp. 151-176 ◽

Author(s):

Yuri Gurevich ◽

Wolfram Schulte ◽

Charles Wallace

Keyword(s):

State Machines ◽

Abstract State Machines

Download Full-text

XASM- An Extensible, Component-Based Abstract State Machines Language

Lecture Notes in Computer Science - Abstract State Machines - Theory and Applications ◽

10.1007/3-540-44518-8_6 ◽

2000 ◽

pp. 69-90 ◽

Author(s):

Matthias Anlauff

Keyword(s):

State Machines ◽

Abstract State Machines

Download Full-text

Objects + Views = Components?

Lecture Notes in Computer Science - Abstract State Machines - Theory and Applications ◽

10.1007/3-540-44518-8_5 ◽

2000 ◽

pp. 50-68 ◽

Author(s):

Martin Odersky

Download Full-text