Exploring an Interface Model for CKA (Q2941164): Difference between revisions

@@ Property / cites work @@
+Refinement Calculus
@@ Property / cites work: Refinement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On the completeness of the inductive assertion method
+Normal rank
@@ Property / cites work @@
+Q4134898
@@ Property / cites work: Q4134898 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring modal worlds
@@ Property / cites work: Exploring modal worlds / rank @@
+Normal rank
@@ Property / cites work @@
+Q4673439
@@ Property / cites work: Q4673439 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing determinacy in Kleene algebras
@@ Property / cites work: Characterizing determinacy in Kleene algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Computation calculus bridging a formalization gap
@@ Property / cites work: Computation calculus bridging a formalization gap / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretability of first-order linear temporal logics in fork algebras
+Normal rank
@@ Property / cites work @@
+The equational theory of pomsets
@@ Property / cites work: The equational theory of pomsets / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene algebra and its foundations
@@ Property / cites work: Concurrent Kleene algebra and its foundations / rank @@
+Normal rank
@@ Property / cites work @@
+The Laws of Programming Unify Process Calculi
@@ Property / cites work: The Laws of Programming Unify Process Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Developments in Concurrent Kleene Algebra
@@ Property / cites work: Developments in Concurrent Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene Algebra with Tests
@@ Property / cites work: Concurrent Kleene Algebra with Tests / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal algebra
@@ Property / cites work: Temporal algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A relational model for temporal logic
@@ Property / cites work: A relational model for temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and Temporal Logics
@@ Property / cites work: Quantales and Temporal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Separation and information hiding
@@ Property / cites work: Separation and information hiding / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996704
@@ Property / cites work: Q3996704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4184276
@@ Property / cites work: Q4184276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287518
@@ Property / cites work: Q5287518 / rank @@
+Normal rank
@@ Property / cites work @@
+Enabledness and termination in refinement algebra
@@ Property / cites work: Enabledness and termination in refinement algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A language of specified programs
@@ Property / cites work: A language of specified programs / rank @@
+Normal rank
@@ Property / cites work @@
+Graphical models of separation logic
@@ Property / cites work: Graphical models of separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+On powerdomains and modality
@@ Property / cites work: On powerdomains and modality / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank