ASM 1998 | Sciweavers

29

click to vote

ASM
1998
ASM

84views Computational Biology» more ASM 1998»

Interacting Abstract State Machines

14 years 4 months ago

Download www.eecs.umich.edu

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

claim paper

Read More »

43

click to vote

ASM
1998
ASM

117views Computational Biology» more ASM 1998»

Modeling Cache Coherence Protocol - A Case Study with FLASH

14 years 4 months ago

Download www.eecs.umich.edu

This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...

Arnaud Durand

claim paper

Read More »

30

click to vote

ASM
1998
ASM

94views Computational Biology» more ASM 1998»

A Realistic Environment for Crypto-Protocol Analyses by ASMs

14 years 4 months ago

Download www.eecs.umich.edu

Giampaolo Bella, Elvinia Riccobene

claim paper

Read More »

25

click to vote

ASM
1998
ASM

95views Computational Biology» more ASM 1998»

Object-Oriented Abstract State Machines

14 years 4 months ago

Download www.eecs.umich.edu

Alexandre V. Zamulin

claim paper

Read More »

26

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

14 years 4 months ago

Download www.eecs.umich.edu

Hans Tonino

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers