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

285views Computational Biology» more ASM 2010»

Synchronous Message Passing and Semaphores: An Equivalence Proof

1 years 11 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	285	Synchronous Message Passing and Semaphores: An Equivalence Proof	claim
2	160	Matelas: A Predicate Calculus Common Formal Definition for Social Networking	claim
3	97	Secrecy UML Method for Model Transformations	claim
4	85	Supporting Reuse in Event B Development: Modularisation Approach	claim
5	83	On an Extensible Rule-Based Prover for Event-B	claim
6	81	Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance	claim
7	80	Lightweight Modeling of Java Virtual Machine Security Constraints	claim
8	80	Towards Validation of Requirements Models	claim
9	73	Using Event-B to Verify the Kmelia Components and Their Assemblies	claim
10	72	Refinement-Animation for Event-B - Towards a Method of Validation	claim
11	67	Alloy+HotCore: A Fast Approximation to Unsat Core	claim
12	66	An Imperative Extension to Alloy	claim
13	65	A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking	claim
14	65	Development of a Synchronous Subset of AADL	claim
15	63	Formal Analysis in Model Management: Exploiting the Power of CZT	claim
16	62	Specifying Self-configurable Component-Based Systems with FracToy	claim
17	61	Automatic Verification for a Class of Proof Obligations with SMT-Solvers	claim
18	60	Starting B Specifications from Use Cases	claim
19	60	A Basis for Feature-Oriented Modelling in Event-B	claim
20	60	AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications	claim
21	59	A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking	claim
22	59	Formal Probabilistic Analysis: A Higher-Order Logic Based Approach	claim
23	51	Applying the B Method for the Rigorous Development of Smart Card Applications	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers