Search Sciweavers | Sciweavers

73 search results - page 1 / 15

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

136

click to vote

ASM
1998
ASM

95views Computational Biology» more ASM 1998»

Object-Oriented Abstract State Machines

15 years 11 months ago

Download www.eecs.umich.edu

Alexandre V. Zamulin

claim paper

Read More »

136

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 11 months ago

Download www.eecs.umich.edu

Hans Tonino

claim paper

Read More »

125

Voted

DAGSTUHL
2007

95views Software Engineering» more DAGSTUHL 2007»

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

15 years 9 months ago

Download drops.dagstuhl.de

Andreas Friesen, Jens Lemcke

claim paper

Read More »

157

Voted

ASM
2000
ASM

83views Computational Biology» more ASM 2000»

Investigating Java Concurrency Using Abstract State Machines

15 years 11 months ago

Download www.eecs.umich.edu

Yuri Gurevich, Wolfram Schulte, Charles Wallace

claim paper

Read More »

146

click to vote

ASM
2003
ASM

104views Computational Biology» more ASM 2003»

A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines

16 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers