ASM   2010 International Workshop on Abstract State Machines
Wall of Fame | Most Viewed ASM-2010 Paper
11 years 3 months ago
Synchronous Message Passing and Semaphores: An Equivalence Proof
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
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.
1Download preprint from source578
2Download preprint from source465
3Download preprint from source332
4Download preprint from source311
5Download preprint from source293
6Download preprint from source293
7Download preprint from source293
8Download preprint from source288
9Download preprint from source288
10Download preprint from source282
11Download preprint from source281
12Download preprint from source280
13Download preprint from source278
14Download preprint from source277
15Download preprint from source273
16Download preprint from source268
17Download preprint from source266
18Download preprint from source265
19Download preprint from source264
20Download preprint from source257
21Download preprint from source248
22Download preprint from source248
23Download preprint from source246