We present a logic of specifications of reactive systems. The logic is independent of particular computational models, but it captures common patterns of reasoning with assumptiofl-commitment specifications. We use the logic for deriving proof rules for TLA and CTL* specifications.
CITATION STYLE
Abadi, M., & Merz, S. (1995). An abstract account of composition. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 969, pp. 499–508). Springer Verlag. https://doi.org/10.1007/3-540-60246-1_155
Mendeley helps you to discover research relevant for your work.