A specification structure for deadlock-freedom of synchronous processes (1999)
by
S. Abramsky
,
S. J. Gay
,
R. Nagarajan
| Venue: | TCS |
| Citations: | 2 - 1 self |
BibTeX
@ARTICLE{Abramsky99aspecification,
author = {S. Abramsky and S. J. Gay and R. Nagarajan},
title = { A specification structure for deadlock-freedom of synchronous processes },
journal = {TCS},
year = {1999},
volume = {222},
pages = {1--53}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Many different notions of "program property", and many different methods of verifying such properties, arise naturally in programming. We present a general framework of Specification Structures for combining different notions and methods in a coherent fashion. We then apply the idea of specification structures to concurrency in the setting of Interaction Categories. As a specific example, a certain specification
