Systems (DRAFT) Nina Amla, E. Allen Emerson, Kedar Namjoshi, and Richard...  Home/Search
Context
Related
| belllabs.com/who/..._comp_reasoning.ps 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/who/...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we develop a compositional reasoning rule for asynchronous process composition, and show it to be both sound and complete. (Update)
Active bibliography (related documents): More All
0.3: Visual Specifications for Modular Reasoning about.. - Amla, Emerson.. (2002) (Correct)
0.3: RTDT: A Front-End for Efficient Model Checking of.. - Amla, Emerson.. (2001) (Correct)
0.1: Assume-Guarantee Based Compositional Reasoning for.. - Amla, Emerson.. (Correct)
Similar documents based on text: More All
0.4: Ameliorating the State Space Explosion Problem - Namjoshi (1998) (Correct)
0.4: Efficient Decompositional Model-Checking for Regular.. - Amla, Emerson, Namjoshi (1999) (Correct)
0.4: Model Checking Synchronous Timing Diagrams - Amla, Emerson, Kurshan, Namjoshi (2000) (Correct)
BibTeX entry: (Update)
@misc{ nina-compositional,
author = "Systems Draft Nina",
title = "Compositional Reasoning for Asynchronous",
url = "citeseer.ist.psu.edu/614394.html" }
Citations (may not include all citations):231 Information Processing Letters (context) - Alpern, Schneider - 1985
45 on Programming Languages and Systems (context) - Abadi, Lamport et al. - 1995
7 the completeness of compositional reasoning - Namjoshi, Trefler - 2000
3 Assume-guarantee based compositional reasoning for synchrono.. - Amla, Emerson et al. - 2001
Documents on the same site (http://www.cs.bell-labs.com/who/kedar/publications.html): More
Model Checking Synchronous Timing Diagrams - Amla, Emerson, Kurshan, Namjoshi (2000) (Correct)
On Model Checking for Non-Deterministic Infinite-State Systems - Emerson, Namjoshi (1998) (Correct)
Syntactic Program Transformations for Automatic Abstraction - Namjoshi, Kurshan (2000) (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