Proving entailment between conceptual state specifications
- 31 December 1988
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 56 (1) , 135-154
- https://doi.org/10.1016/0304-3975(86)90007-1
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Now you may compose temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1984
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- Concurrency control for resilient nested transactionsPublished by Association for Computing Machinery (ACM) ,1983
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- Temporal logic can be more expressivePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1981
- Abstract data types and software validationCommunications of the ACM, 1978
- Proof of correctness of data representationsActa Informatica, 1972