A Caltech Library Service

Examples of Program Composition Illustrating the Use of Universal Properties

Charpentier, Michel and Chandy, K. Mani (1999) Examples of Program Composition Illustrating the Use of Universal Properties. California Institute of Technology , Pasadena, CA. (Unpublished)

Postscript - Submitted Version
See Usage Policy.

[img] PDF - Submitted Version
See Usage Policy.


Use this Persistent URL to link to this item:


This paper uses a theory of composition based on existential and universal properties. Universal properties axe useful to describe components interactions through shared variables. However, some universal properties do not appear directly in components specifications and they must be constructed to prove the composed system. Coming up with such universal properties often requires creativity. The paper shows through two examples how this construction can be achieved. The principle used is first presented with a toy example and then applied to a more substantial problem.

Item Type:Report or Paper (Technical Report)
Related URLs:
URLURL TypeDescription ItemBook Chapter
Additional Information:© 1999 California Institute of Technology. This work is supported by a grant from the Air Force Office of Scientific Research.
Group:Computer Science Technical Reports
Funding AgencyGrant Number
Air Force Office of Scientific Research (AFOSR)UNSPECIFIED
Record Number:CaltechCSTR:1999.cs-tr-99-01
Persistent URL:
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:26845
Deposited By: Imported from CaltechCSTR
Deposited On:30 Apr 2001
Last Modified:13 Jul 2020 22:06

Repository Staff Only: item control page