Probabilistic mediator: a coalgebraic perspective (Q2079684): Difference between revisions

@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Efficient Coalgebraic Partition Refinement
@@ Property / cites work: Efficient Coalgebraic Partition Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Simulations in coalgebra
@@ Property / cites work: Simulations in coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738115
@@ Property / cites work: Q4738115 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
+Normal rank
@@ Property / cites work @@
+Continuity as a computational effect
@@ Property / cites work: Continuity as a computational effect / rank @@
+Normal rank
@@ Property / cites work @@
+``Keep definition, change category'' -- a practical approach to state-based system calculi
+Normal rank
@@ Property / cites work @@
+A Single Complete Relational Rule for Coalgebraic Refinement
+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 @@
+Q4621137
@@ Property / cites work: Q4621137 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849889
@@ Property / cites work: Q2849889 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Reo circuits from scenario-based interaction specifications
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank