On the composition and decomposition of assertions

Publisher Website

1 January 1985

book chapter
Published by Springer Nature in Lecture Notes in Computer Science

p. 62-75
https://doi.org/10.1007/3-540-15670-4_3

Abstract

No abstract available

Keywords

This publication has 10 references indexed in Scilit:

Power domains and predicate transformers: A topological view
Published by Springer Nature ,2005
A complete modal proof system for a subset of SCCS
Published by Springer Nature ,1985
Using information systems to solve reoursive domain equations effectively
Lecture Notes in Computer Science, 1984
Now you may compose temporal logic specifications
Published by Association for Computing Machinery (ACM) ,1984
Calculi for synchrony and asynchrony
Theoretical Computer Science, 1983
Testing equivalences for processes
Published by Springer Nature ,1983
Domains for denotational semantics
Published by Springer Nature ,1982
A modal characterisation of observable machine-behaviour
Lecture Notes in Computer Science, 1981
A Calculus of Communicating Systems
Lecture Notes in Computer Science, 1980
On observing nondeterminism and concurrency
Lecture Notes in Computer Science, 1980