Proving entailment between conceptual state specifications
From MaRDI portal
Publication:1095649
DOI10.1016/0304-3975(86)90007-1zbMath0632.68026MaRDI 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 logic; specification language; concatenation; conceptual state specifications; entailment between specifications; FIFO buffers; simulation between machines
Related Items
The existence of refinement mappings, Two implementation relations and the correctness of communicating replicated processes
Cites Work