Duality in specification languages: A lattice-theoretical approach
From MaRDI portal
Publication:913495
DOI10.1007/BF00259469zbMath0699.68038MaRDI QIDQ913495
Publication date: 1990
Published in: Acta Informatica (Search for Journal in Brave)
03G10: Logical aspects of lattices and related structures
68Q60: Specification and verification (program logics, model checking, etc.)
68P05: Data structures
68N01: General topics in the theory of software
68N99: Theory of software
Related Items
Games and winning strategies, Processes and formalisms for unbounded choice, Combining angels, demons and miracles in program specifications, Nondeterminacy and recursion via stacks and games, The lattice of data refinement, Contracts, games, and refinement., DUALITY: A simple formalism for the analysis of UNITY