Encapsulating deontic and branching time specifications (Q714879): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2011.12.016
@@ Property / DOI: 10.1016/j.tcs.2011.12.016 / rank @@
-Normal rank
@@ Property / cites work @@
+The temporal logic of branching time
@@ Property / cites work: The temporal logic of branching time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343991
@@ Property / cites work: Q4343991 / rank @@
+Normal rank
@@ Property / cites work @@
+Deontic action logic, atomic Boolean algebras and fault-tolerance
+Normal rank
@@ Property / cites work @@
+Characterizing Locality (Encapsulation) with Bisimulation
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal theories as modularisation units for concurrent system specification
+Normal rank
@@ Property / cites work @@
+Contrary-to-duty obligations
@@ Property / cites work: Contrary-to-duty obligations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3812210
@@ Property / cites work: Q3812210 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694250
@@ Property / cites work: Q4694250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430407
@@ Property / cites work: Q4430407 / rank @@
+Normal rank
@@ Property / cites work @@
+A Tableaux System for Deontic Action Logic
@@ Property / cites work: A Tableaux System for Deontic Action Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
+Normal rank
@@ Property / cites work @@
+Three logics for branching bisimulation
@@ Property / cites work: Three logics for branching bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Specifying Concurrent Program Modules
@@ Property / cites work: Specifying Concurrent Program Modules / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518414
@@ Property / cites work: Q4518414 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q3824395
@@ Property / cites work: Q3824395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3411966
@@ Property / cites work: Q3411966 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+The Deontic Component of Action Language $n{\mathcal{C}}+$
+Normal rank
@@ Property / cites work @@
+Structured Co-spans: An Algebra of Interaction Protocols
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940107
@@ Property / cites work: Q4940107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473719
@@ Property / cites work: Q4473719 / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for Software Engineering
@@ Property / cites work: Categories for Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Q3028984
@@ Property / cites work: Q3028984 / rank @@
+Normal rank
@@ Property / cites work @@
+A compositional framework for fault tolerance by specification transformation
+Normal rank
@@ Property / cites work @@
+The Byzantine Generals Problem
@@ Property / cites work: The Byzantine Generals Problem / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2011.12.016
@@ Property / DOI: 10.1016/J.TCS.2011.12.016 / rank @@
+Normal rank