Encapsulating deontic and branching time specifications
From MaRDI portal
Publication:714879
DOI10.1016/j.tcs.2011.12.016zbMath1279.68200OpenAlexW2027573831MaRDI QIDQ714879
Thomas S. E. Maibaum, Pablo F. Castro
Publication date: 11 October 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.12.016
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The temporal logic of branching time
- Deontic action logic, atomic Boolean algebras and fault-tolerance
- A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
- Sheaves in geometry and logic: a first introduction to topos theory
- Temporal theories as modularisation units for concurrent system specification
- A compositional framework for fault tolerance by specification transformation
- Contrary-to-duty obligations
- Categories for Software Engineering
- A Tableaux System for Deontic Action Logic
- The Deontic Component of Action Language $n{\mathcal{C}}+$
- Characterizing Locality (Encapsulation) with Bisimulation
- Structured Co-spans: An Algebra of Interaction Protocols
- Specifying Concurrent Program Modules
- The Byzantine Generals Problem
- The B-Book
- Institutions: abstract model theory for specification and programming
- Three logics for branching bisimulation
- Branching time and abstraction in bisimulation semantics
This page was built for publication: Encapsulating deontic and branching time specifications
