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

@@ Property / DOI @@
-.1016/j.jlamp.2022.100808
@@ Property / DOI: 10.1016/j.jlamp.2022.100808 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114159185
@@ Property / Wikidata QID: Q114159185 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2022.100808
+Normal rank
@@ Property / OpenAlex ID @@
+W4294676821
@@ Property / OpenAlex ID: W4294676821 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.JLAMP.2022.100808
@@ Property / DOI: 10.1016/J.JLAMP.2022.100808 / rank @@
+Normal rank