Structural Operational Semantics and Modal Logic, Revisited (Q2919456): Difference between revisions

@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Fundamentals of Computation Theory
@@ Property / cites work: Fundamentals of Computation Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852093
@@ Property / cites work: Q2852093 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Structural induction and coinduction in a fibrational setting
+Normal rank
@@ Property / cites work @@
+Q2847813
@@ Property / cites work: Q2847813 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint Lifting Theorems for Categories of Algebras
+Normal rank
@@ Property / cites work @@
+Q4100671
@@ Property / cites work: Q4100671 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Modal Logic Beyond Sets
@@ Property / cites work: Coalgebraic Modal Logic Beyond Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Bialgebraic methods and modal logic in structural operational semantics
+Normal rank
@@ Property / cites work @@
+The Goldblatt-Thomason Theorem for Coalgebras
@@ Property / cites work: The Goldblatt-Thomason Theorem for Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Category theory for operational semantics
@@ Property / cites work: Category theory for operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762529
@@ Property / cites work: Q2762529 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Semantics: Connecting Processes and Process Logics
+Normal rank
@@ Property / cites work @@
+Combining a monad and a comonad
@@ Property / cites work: Combining a monad and a comonad / rank @@
+Normal rank
@@ Property / cites work @@
+Chu spaces from the representational viewpoint
@@ Property / cites work: Chu spaces from the representational viewpoint / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank