``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2015.11.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2242936154
@@ Property / OpenAlex ID: W2242936154 / rank @@
+Normal rank
@@ Property / cites work @@
+Exercises in Quantifier Manipulation
@@ Property / cites work: Exercises in Quantifier Manipulation / rank @@
+Normal rank
@@ Property / cites work @@
+Transposing partial components--an exercise on coalgebraic refinement
+Normal rank
@@ Property / cites work @@
+Q5579535
@@ Property / cites work: Q5579535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+A coalgebraic perspective on linear weighted automata
+Normal rank
@@ Property / cites work @@
+Relational Methods in Computer Science
@@ Property / cites work: Relational Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+New structures for physics
@@ Property / cites work: New structures for physics / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for the Practising Physicist
@@ Property / cites work: Categories for the Practising Physicist / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381704
@@ Property / cites work: Q4381704 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic Forward and Backward Simulations
@@ Property / cites work: Generic Forward and Backward Simulations / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Components in a Many-Sorted Microcosm
@@ Property / cites work: Coalgebraic Components in a Many-Sorted Microcosm / 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 @@
+Developments in Concurrent Kleene Algebra
@@ Property / cites work: Developments in Concurrent Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Generalising monads to arrows
@@ Property / cites work: Generalising monads to arrows / rank @@
+Normal rank
@@ Property / cites work @@
+Combining effects: sum and tensor
@@ Property / cites work: Combining effects: sum and tensor / rank @@
+Normal rank
@@ Property / cites work @@
+Trace semantics via determinization
@@ Property / cites work: Trace semantics via determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory
+Normal rank
@@ Property / cites work @@
+Monads on symmetric monoidal closed categories
@@ Property / cites work: Monads on symmetric monoidal closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Strong functors and monoidal monads
@@ Property / cites work: Strong functors and monoidal monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3527509
@@ Property / cites work: Q3527509 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear algebra approach to OLAP
@@ Property / cites work: A linear algebra approach to OLAP / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Lifting theorems for Kleisli categories
@@ Property / cites work: Lifting theorems for Kleisli categories / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a linear algebra of programming
@@ Property / cites work: Towards a linear algebra of programming / rank @@
+Normal rank
@@ Property / cites work @@
+WEIGHTED AUTOMATA AS COALGEBRAS IN CATEGORIES OF MATRICES
+Normal rank
@@ Property / cites work @@
+Preparing Relational Algebra for “Just Good Enough” Hardware
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / 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 @@
+Probabilistic systems coalgebraically: a survey
@@ Property / cites work: Probabilistic systems coalgebraically: a survey / rank @@
+Normal rank