Encapsulating deontic and branching time specifications

DOI10.1016/J.TCS.2011.12.016MaRDI QIDQ714879zbMATH OpenOpenAlexFDO

Authors Pablo F. Castro, Tim Maibaum

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

zbMATH Keywords

bisimulationcategory theoryformal methodssoftware engineeringsoftware specification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Characterizing locality (encapsulation) with bisimulation
• Temporal Reasoning over Deontic Specifications
• Temporal theories as modularisation units for concurrent system specification
• Refinement and Consistency of Timed Modal Specifications
• Synthesizing masking fault-tolerant systems from deontic specifications

Cites work

• A compositional framework for fault tolerance by specification transformation
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• A Tableaux System for Deontic Action Logic
• Abstract and concrete categories: the joy of cats
• Branching time and abstraction in bisimulation semantics
• Categories for Software Engineering
• Characterizing locality (encapsulation) with bisimulation
• Contrary-to-duty obligations
• Deontic action logic, atomic Boolean algebras and fault-tolerance
• scientific article; zbMATH DE number 4016870 (Why is no real title available?)
• scientific article; zbMATH DE number 4081518 (Why is no real title available?)
• scientific article; zbMATH DE number 4097351 (Why is no real title available?)
• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1032010 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 1989660 (Why is no real title available?)
• scientific article; zbMATH DE number 2080757 (Why is no real title available?)
• scientific article; zbMATH DE number 1536547 (Why is no real title available?)
• scientific article; zbMATH DE number 218546 (Why is no real title available?)
• scientific article; zbMATH DE number 1409638 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Institutions: abstract model theory for specification and programming
• Modal logic
• Sheaves in geometry and logic: a first introduction to topos theory
• Specifying Concurrent Program Modules
• Structured Co-spans: An Algebra of Interaction Protocols
• Temporal theories as modularisation units for concurrent system specification
• The B-Book
• The Byzantine Generals Problem
• The Deontic Component of Action Language $n{\mathcal{C}}+$
• The temporal logic of branching time
• Three logics for branching bisimulation

Cited in

(1)

• Characterizing locality (encapsulation) with bisimulation

This page was built for publication: Encapsulating deontic and branching time specifications

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