Charpentier, Michel and Chandy, K. Mani (1999) Towards a Compositional Approach to the Design and Verification of Distributed Systems. In: FM’99 — Formal Methods. Lecture Notes in Computer Science. No.1708. Springer , Berlin, pp. 570-589. ISBN 978-3-540-66587-8. https://resolver.caltech.edu/CaltechAUTHORS:20200715-074133363
Full text is not posted in this repository. Consult Related URLs below.
Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20200715-074133363
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.
| Item Type: | Book Section | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Related URLs: |
| ||||||||||||
| Additional Information: | © 1999 Springer-Verlag Berlin Heidelberg. First Online: 17 September 1999. This work is supported by a grant from the Air Force Office of Scientific Research. | ||||||||||||
| Funders: |
| ||||||||||||
| Subject Keywords: | component-based design; distributed systems; formal specification; formal verification; temporal logic; UNITY | ||||||||||||
| Series Name: | Lecture Notes in Computer Science | ||||||||||||
| Issue or Number: | 1708 | ||||||||||||
| Record Number: | CaltechAUTHORS:20200715-074133363 | ||||||||||||
| Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20200715-074133363 | ||||||||||||
| Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | ||||||||||||
| ID Code: | 104386 | ||||||||||||
| Collection: | CaltechAUTHORS | ||||||||||||
| Deposited By: | Tony Diaz | ||||||||||||
| Deposited On: | 15 Jul 2020 14:54 | ||||||||||||
| Last Modified: | 15 Jul 2020 14:54 |
Repository Staff Only: item control page
