Coalgebraic trace semantics via forgetful logics (Q2974794): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A Coalgebraic Perspective on Minimization and Determinization
+Normal rank
@@ Property / cites work @@
+Minimization via Duality
@@ Property / cites work: Minimization via Duality / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra-coalgebra duality in brzozowski's minimization algorithm
+Normal rank
@@ Property / cites work @@
+On a categorical framework for coalgebraic modal logic
+Normal rank
@@ Property / cites work @@
+A Coalgebraic Approach to Linear-Time Logics
@@ Property / cites work: A Coalgebraic Approach to Linear-Time Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical coalgebraic linear time logics
@@ Property / cites work: Canonical coalgebraic linear time logics / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Kan extensions in enriched category theory
@@ Property / cites work: Kan extensions in enriched category theory / rank @@
+Normal rank
@@ Property / cites work @@
+Trace Semantics via Generic Observations
@@ Property / cites work: Trace Semantics via Generic Observations / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Structural induction and coinduction in a fibrational setting
+Normal rank
@@ Property / cites work @@
+Coreflections in algebraic quantum logic
@@ Property / cites work: Coreflections in algebraic quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+Trace semantics via determinization
@@ Property / cites work: Trace semantics via determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Exemplaric Expressivity of Modal Logics
@@ Property / cites work: Exemplaric Expressivity of Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint Lifting Theorems for Categories of Algebras
+Normal rank
@@ Property / cites work @@
+Coalgebraic Modal Logic Beyond Sets
@@ Property / cites work: Coalgebraic Modal Logic Beyond Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Trace Semantics via Forgetful Logics
@@ Property / cites work: Coalgebraic Trace Semantics via Forgetful Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic semantics of modal logics: an overview
+Normal rank
@@ Property / cites work @@
+Simplified Coalgebraic Trace Equivalence
@@ Property / cites work: Simplified Coalgebraic Trace Equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / 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 @@
+Q4668854
@@ Property / cites work: Q4668854 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3432078
@@ Property / cites work: Q3432078 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics and Graded Monads.
@@ Property / cites work: Generic Trace Semantics and Graded Monads. / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Semantics: Connecting Processes and Process Logics
+Normal rank
@@ Property / cites work @@
+Q4499221
@@ Property / cites work: Q4499221 / 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 @@
+Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
+Normal rank
@@ Property / cites work @@
+Generalizing determinization from automata to coalgebras
+Normal rank
@@ Property / cites work @@
+Reactive, generative, and stratified models of probabilistic processes
+Normal rank