Proving entailment between conceptual state specifications
From MaRDI portal
Publication:1095649
DOI10.1016/0304-3975(86)90007-1zbMath0632.68026OpenAlexW1525901496MaRDI QIDQ1095649
Publication date: 1988
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(86)90007-1
temporal logicspecification languageconcatenationconceptual state specificationsentailment between specificationsFIFO bufferssimulation between machines
Related Items
Application of the composition principle to unity-like specifications ⋮ Two implementation relations and the correctness of communicating replicated processes ⋮ The existence of refinement mappings
Cites Work