Alain Fagot, Adriano Scutella  Home/Search
Context
Related
| belllabs.com/netlib/spin/...mani.ps.gz spinroot.com/spin/Workshops/...mani.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: belllabs.com/netlib/...program99 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we prove that the solutions we adopted are "correct" with respect to the behaviour of a MANIFOLD application. Section 2 contains two examples, some planning for future work and conlcusion is drawn in Section 5 (Update)
Active bibliography (related documents): More All
0.0: A Transition System Semantics for the.. - Bonsangue, Arbab, .. (1998) (Correct)
0.0: A Coordination-based Chaotic Iteration Algorithm for Constraint.. - Monfroy (2000) (Correct)
0.0: Reusable Coordinator Modules for Massively Concurrent.. - Arbab, Blom, Burger.. (1998) (Correct)
Similar documents based on text: More All
0.3: Protocol Verification with Reactive Promela/RSPIN - Najm, Olsen (1996) (Correct)
0.3: v-Promela: A Visual, Object-Oriented Language for SPIN - Leue, Holzmann (Correct)
0.3: Embedding a Dialect of SDL in PROMELA - Tuominen (1999) (Correct)
BibTeX entry: (Update)
@misc{ fagot-correctness,
author = "Alain Fagot and Adriano Scutella",
title = "Correctness of the Promela models of Manifold programs, I",
url = "citeseer.ist.psu.edu/fagot99correctness.html" }
Citations (may not include all citations):274 The existence of refinement mappings - Abadi, Lamport - 1991
68 The IWIM model for coordination of concurrent activities - Arbab
30 Coordination of massively concurrent activities - Arbab - 1995
Documents on the same site (http://netlib.bell-labs.com/netlib/spin/ws99a/program99.html): More
Runtime Efficient State Compaction in SPIN - Geldenhuys, de Villiers (1999) (Correct)
Partial Order Reduction in Presence of Rendez-vous.. - Bosnacki (1999) (Correct)
Distributed-Memory Model Checking with SPIN - Lerda, Sisto (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC