ASM 2010 - PDF Preprint Papers

ASM 2010 International Workshop on Abstract State Machines

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ASM-2010 Paper

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 »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	578	Synchronous Message Passing and Semaphores: An Equivalence Proof	claim
2	465	Matelas: A Predicate Calculus Common Formal Definition for Social Networking	claim
3	332	Supporting Reuse in Event B Development: Modularisation Approach	claim
4	311	Secrecy UML Method for Model Transformations	claim
5	293	Towards Validation of Requirements Models	claim
6	293	Alloy+HotCore: A Fast Approximation to Unsat Core	claim
7	293	A Basis for Feature-Oriented Modelling in Event-B	claim
8	288	Lightweight Modeling of Java Virtual Machine Security Constraints	claim
9	288	An Imperative Extension to Alloy	claim
10	282	Starting B Specifications from Use Cases	claim
11	281	Automatic Verification for a Class of Proof Obligations with SMT-Solvers	claim
12	280	Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance	claim
13	278	Using Event-B to Verify the Kmelia Components and Their Assemblies	claim
14	277	On an Extensible Rule-Based Prover for Event-B	claim
15	273	Specifying Self-configurable Component-Based Systems with FracToy	claim
16	268	Refinement-Animation for Event-B - Towards a Method of Validation	claim
17	266	Development of a Synchronous Subset of AADL	claim
18	265	A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking	claim
19	264	AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications	claim
20	257	Formal Analysis in Model Management: Exploiting the Power of CZT	claim
21	248	Formal Probabilistic Analysis: A Higher-Order Logic Based Approach	claim
22	248	Applying the B Method for the Rigorous Development of Smart Card Applications	claim
23	246	A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers