Steps and traces (Q1798791): Difference between revisions

@@ Property / author @@
+Paul Blain Levy
@@ Property / author: Paul Blain Levy / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2890223432
@@ Property / OpenAlex ID: W2890223432 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalised coinduction
@@ Property / cites work: Generalised coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111636
@@ Property / cites work: Q5111636 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
+Normal rank
@@ Property / cites work @@
+Recursive coalgebras from comonads
@@ Property / cites work: Recursive coalgebras from comonads / rank @@
+Normal rank
@@ Property / cites work @@
+Corecursive Algebras: A Study of General Structured Corecursion
+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 @@
+Q4499234
@@ Property / cites work: Q4499234 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic weakest precondition semantics from monads enriched with order
+Normal rank
@@ Property / cites work @@
+Generic Trace Semantics via Coinduction
@@ Property / cites work: Generic Trace Semantics via Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Healthiness from Duality
@@ Property / cites work: Healthiness from Duality / rank @@
+Normal rank
@@ Property / cites work @@
+Conjugate Hylomorphisms -- Or
@@ Property / cites work: Conjugate Hylomorphisms -- Or / rank @@
+Normal rank
@@ Property / cites work @@
+A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
+Normal rank
@@ Property / cites work @@
+Q5270088
@@ Property / cites work: Q5270088 / rank @@
+Normal rank
@@ Property / cites work @@
+Trace semantics via determinization
@@ Property / cites work: Trace semantics via determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100671
@@ Property / cites work: Q4100671 / rank @@
+Normal rank
@@ Property / cites work @@
+Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions
+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 @@
+Simplified Coalgebraic Trace Equivalence
@@ Property / cites work: Simplified Coalgebraic Trace Equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Q3159161
@@ Property / cites work: Q3159161 / rank @@
+Normal rank
@@ Property / cites work @@
+Final Coalgebras from Corecursive Algebras.
@@ Property / cites work: Final Coalgebras from Corecursive Algebras. / 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 @@
+Completely iterative algebras and completely iterative monads
+Normal rank
@@ Property / cites work @@
+Testing Semantics: Connecting Processes and Process Logics
+Normal rank
@@ Property / cites work @@
+Coalgebraic minimization of automata by initiality and finality
+Normal rank
@@ Property / cites work @@
+Generalizing determinization from automata to coalgebras
+Normal rank