ASM 2010 | Sciweavers

14

click to vote

ASM
2010
ASM

332views Computational Biology» more ASM 2010»

Supporting Reuse in Event B Development: Modularisation Approach

14 years 1 months ago

Download tucs.fi

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis,...

claim paper

Read More »

14

click to vote

ASM
2010
ASM

280views Computational Biology» more ASM 2010»

Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance

14 years 1 months ago

Download eprints.ecs.soton.ac.uk

The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings signiﬁcant beneﬁts, formal reasoning remains a major...

Andrew Ireland, Gudmund Grov, Michael Butler

claim paper

Read More »

39

click to vote

ASM
2010
ASM

578views Computational Biology» more ASM 2010»

Synchronous Message Passing and Semaphores: An Equivalence Proof

14 years 1 months ago

Download www.di.unipi.it

A natural encoding of synchronous message exchange with direct wait-control is proved to be equivalent in a distributed environment to a reﬁnement which uses semaphores to implem...

Iain Craig, Egon Börger

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers