Charpentier, Michel and Chandy, K. Mani (1999) Examples of program composition illustrating the use of universal properties. In: Parallel and Distributed Processing. Lecture Notes in Computer Science. No.1586. Springer , Berlin, pp. 1215-1227. ISBN 978-3-540-65831-3. https://resolver.caltech.edu/CaltechAUTHORS:20200713-150514979
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:20200713-150514979
Abstract
This paper uses a theory of composition based on existential and universal properties. Universal properties are 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: | Book Section | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Related URLs: |
| ||||||||||||
Additional Information: | © 1999 Springer-Verlag. | ||||||||||||
Subject Keywords: | Local Property; Shared Variable; System Property; Universal Property; Liveness Property | ||||||||||||
Series Name: | Lecture Notes in Computer Science | ||||||||||||
Issue or Number: | 1586 | ||||||||||||
DOI: | 10.1007/bfb0098004 | ||||||||||||
Record Number: | CaltechAUTHORS:20200713-150514979 | ||||||||||||
Persistent URL: | https://resolver.caltech.edu/CaltechAUTHORS:20200713-150514979 | ||||||||||||
Usage Policy: | No commercial reproduction, distribution, display or performance rights in this work are provided. | ||||||||||||
ID Code: | 104363 | ||||||||||||
Collection: | CaltechAUTHORS | ||||||||||||
Deposited By: | Tony Diaz | ||||||||||||
Deposited On: | 13 Jul 2020 22:27 | ||||||||||||
Last Modified: | 16 Nov 2021 18:31 |
Repository Staff Only: item control page