Encapsulating deontic and branching time specifications

DOI10.1016/J.TCS.2011.12.016zbMATH Open1279.68200OpenAlexW2027573831MaRDI QIDQ714879FDOQ714879

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

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

zbMATH Keywords

category theoryformal methodsbisimulationsoftware 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)

Cites Work

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

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)