Search Sciweavers | Sciweavers

7311 search results - page 53 / 1463

» Time in State Machines

Voted

ASM
1998
ASM

92views Computational Biology» more ASM 1998»

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

15 years 8 months ago

Download www.eecs.umich.edu

Hans Tonino

claim paper

Read More »

Voted

ASM
1998
ASM

95views Computational Biology» more ASM 1998»

Object-Oriented Abstract State Machines

15 years 8 months ago

Download www.eecs.umich.edu

Alexandre V. Zamulin

claim paper

Read More »

Voted

ASM
1998
ASM

84views Computational Biology» more ASM 1998»

Interacting Abstract State Machines

15 years 8 months ago

Download www.eecs.umich.edu

Marcelo de Almeida Maia, Vladimir Oliveira Di Iori...

claim paper

Read More »

118

Voted

FM
1998
Springer

155views Formal Methods» more FM 1998»

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

15 years 8 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo

claim paper

Read More »

121

click to vote

ICNP
1996
IEEE

83views Computer Networks» more ICNP 1996»

Partial-Order Validation for Multi-Process Protocols Modeled as Communicating Finite State Machines

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers