Distributive laws for monotone specifications (Q2329307): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00236-019-00333-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2963410756
@@ Property / OpenAlex ID: W2963410756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+On tree coalgebras and coalgebra presentations
@@ Property / cites work: On tree coalgebras and coalgebra presentations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4293501
@@ Property / cites work: Q4293501 / 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 @@
+A general account of coinduction up-to
@@ Property / cites work: A general account of coinduction up-to / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+Semirings and Formal Power Series
@@ Property / cites work: Semirings and Formal Power Series / rank @@
+Normal rank
@@ Property / cites work @@
+Monoid-labeled transition systems
@@ Property / cites work: Monoid-labeled transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2980965
@@ Property / cites work: Q2980965 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulations in coalgebra
@@ Property / cites work: Simulations in coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Coalgebra
@@ Property / cites work: Introduction to Coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to (co)algebra and (co)induction
@@ Property / cites work: An introduction to (co)algebra and (co)induction / rank @@
+Normal rank
@@ Property / cites work @@
+Adjoint Lifting Theorems for Categories of Algebras
+Normal rank
@@ Property / cites work @@
+Structural Operational Semantics for Weighted Transition Systems
+Normal rank
@@ Property / cites work @@
+Bialgebras for structural operational semantics: an introduction
+Normal rank
@@ Property / cites work @@
+Some undecidable properties of SOS specifications
@@ Property / cites work: Some undecidable properties of SOS specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499306
@@ Property / cites work: Q4499306 / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible Categories: The Foundations of Categorical Model Theory
+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 @@
+Q5014802
@@ Property / cites work: Q5014802 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural congruence for bialgebraic semantics
@@ Property / cites work: Structural congruence for bialgebraic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural differential equations: a coinductive calculus of streams, automata, and power series
+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 @@
+Elements of Stream Calculus
@@ Property / cites work: Elements of Stream Calculus / rank @@
+Normal rank