Published January 1, 1999
| Submitted
Technical Report
Open
Towards a Compositional Approach to the Design and Verification of Distributed Systems
- Creators
- Charpentier, Michel
- Chandy, K. Mani
Chicago
An error occurred while generating the citation.
Abstract
We are investigating a component-based approach for formal design of distributed systems. In this paper, we introduce the framework we use for specification, composition and communication and we apply it to an example that highlights the different aspects of a compositional design, including top-down and bottom-up phases, proofs of composition, refinement proofs, proofs of program texts, and component reuse.
Additional Information
© 1999 California Institute of Technology. This work is supported by a grant from the Air Force Office of Scientific Research.Attached Files
Submitted - postscript__1_.pdf
Submitted - postscript.ps
Files
postscript__1_.pdf
Files
(574.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:4b45e8f2ba41c178767208c5f0b5f9a1
|
283.4 kB | Preview Download |
|
md5:c9f1a8525acf072303b7076608fdfb88
|
291.2 kB | Download |
Additional details
- Eprint ID
- 26846
- Resolver ID
- CaltechCSTR:1999.cs-tr-99-02
- Air Force Office of Scientific Research (AFOSR)
- Created
-
2001-04-30Created from EPrint's datestamp field
- Updated
-
2020-07-15Created from EPrint's last_modified field
- Caltech groups
- Computer Science Technical Reports