A Caltech Library Service

Towards a Compositional Approach to the Design and Verification of Distributed Systems

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.

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item:


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:
URLURL TypeDescription ReadCube access ItemTechnical Report
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.
Funding AgencyGrant Number
Air Force Office of Scientific Research (AFOSR)UNSPECIFIED
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:
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:104386
Deposited By: Tony Diaz
Deposited On:15 Jul 2020 14:54
Last Modified:16 Nov 2021 18:31

Repository Staff Only: item control page