Mirror, mirror in my hand: a duality between specifications and models of process behaviour

DOI10.1017/S0960129500001067zbMath0857.68076OpenAlexW2112503809MaRDI QIDQ4715670

José Luiz Fiadeiro, Costa, José Félix

Publication date: 18 November 1996

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129500001067

zbMATH Keywords

temporal logicreactive systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Ultraproducts and possible worlds semantics in institutions ⋮ Stratified institutions and elementary homomorphisms ⋮ Preservation in many-valued truth institutions ⋮ Graded consequence: an institution theoretic study ⋮ Parchments for CafeOBJ Logics ⋮ Saturated models in institutions

Cites Work

• Unnamed Item
• Unnamed Item
• Temporal theories as modularisation units for concurrent system specification
• Up and Down The Temporal Way

This page was built for publication: Mirror, mirror in my hand: a duality between specifications and models of process behaviour