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

DOI10.1017/S0960129500001067MaRDI QIDQ4715670zbMATH OpenOpenAlexFDO

Authors José Fiadeiro, José Félix Costa

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

reactive systemstemporal logic

Mathematics Subject Classification ID

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

Recommendations

• A framework for the constitution of modelling processes: A proposition
• The requirements model and behaviour in specification of requirements
• The extended process model-transforming process specifications into ontological representations
• scientific article; zbMATH DE number 1728494
• Anti-alignments in conformance checking -- the dark side of process models

Cites work

• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• Temporal theories as modularisation units for concurrent system specification
• Up and Down The Temporal Way

Cited in

(7)

• Parchments for CafeOBJ logics
• Stratified institutions and elementary homomorphisms
• Graded consequence: an institution theoretic study
• Preservation in many-valued truth institutions
• scientific article; zbMATH DE number 1418816 (Why is no real title available?)
• Saturated models in institutions
• Ultraproducts and possible worlds semantics in institutions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4715670)