An abstract account of composition (1995)
Cached
Download Links
- [www4.in.tum.de]
- [wwwbroy.informatik.tu-muenchen.de]
- DBLP
Other Repositories/Bibliography
by
Martín Abadi
,
Stephan Merz
| Venue: | MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE |
| Citations: | 16 - 1 self |
BibTeX
@INPROCEEDINGS{Abadi95anabstract,
author = {Martín Abadi and Stephan Merz},
title = {An abstract account of composition},
booktitle = {MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE},
year = {1995},
pages = {499--508},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We presentalogic of specifications of reactive systems. The logic is independent of particular computational models, but it captures common patterns of reasoning with assumption-commitment specifications. We use the logic for deriving proof rules for TLA and CTL specifications.
