Search Sciweavers | Sciweavers

799 search results - page 5 / 160

» A Logic for Abstract State Machines

129

click to vote

ASM
2000
ASM

83views Computational Biology» more ASM 2000»

Investigating Java Concurrency Using Abstract State Machines

15 years 10 months ago

Download www.eecs.umich.edu

Yuri Gurevich, Wolfram Schulte, Charles Wallace

claim paper

Read More »

104

click to vote

ASM
1998
ASM

92views Computational Biology» more ASM 1998»

A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines

15 years 10 months ago

Download www.eecs.umich.edu

Hans Tonino

claim paper

Read More »

160

click to vote

APAQS
2001
IEEE

255views Software Engineering» more APAQS 2001»

Testable Use Cases in the Abstract State Machine Language

15 years 9 months ago

Download research.microsoft.com

Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte...

claim paper

Read More »

135

click to vote

CALCO
2007
Springer

98views Mathematics» more CALCO 2007»

A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines

15 years 7 months ago

Download www2.informatik.hu-berlin.de

Andreas Glausch, Wolfgang Reisig

claim paper

Read More »

click to vote

DAGSTUHL
2007

95views Software Engineering» more DAGSTUHL 2007»

Composing Web-service-like abstract state machines (ASM)

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers