scientific article; zbMATH DE number 1759984
From MaRDI portal
Publication:4536898
zbMath0996.68754MaRDI QIDQ4536898
Publication date: 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (17)
Power simulation and its relation to traces and failures refinement ⋮ Reasoning about iteration and recursion uniformly based on big-step semantics ⋮ Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP ⋮ Automated Algebraic Reasoning for Collections and Local Variables with Lenses ⋮ Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras ⋮ A Unary Semigroup Trace Algebra ⋮ Lazy Relations ⋮ Towards Modelling Obligations in Event-B ⋮ Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language ⋮ Denotational semantics of channel mobility in UTP-CSP ⋮ Compositionality: Ontology and Mereology of Domains ⋮ Isabelle/UTP: A Mechanised Theory Engineering Framework ⋮ Angelicism in the Theory of Reactive Processes ⋮ Towards Algebraic Semantics of Circus Time ⋮ Integration of formal proof into unified assurance cases with Isabelle/SACM ⋮ Understanding, Explaining, and Deriving Refinement ⋮ Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP
This page was built for publication:
