DMCA
Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (1982)
by
Edmund M. Clarke
,
E. Allen Emerson
| Venue: | In: Kozen, D., Ed., Logics of Programs |
| Citations: | 1020 - 56 self |
BibTeX
@INPROCEEDINGS{Clarke82designand,
author = {Edmund M. Clarke and E. Allen Emerson},
title = {Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic},
booktitle = {In: Kozen, D., Ed., Logics of Programs},
year = {1982},
pages = {52--71},
publisher = {Springer}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We propose a method of constructing concurrent programs in which the synchroni-zation skeleton of the program ~s automatically synthesized from a high-level (branching time) Temporal Logic specification. The synchronization skeleton is an abstraction of the actual program where detail irrelevant to synchronization is
