A Categorical Model of the Fusion Calculus (Q5415643): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.10.017
+Normal rank
@@ Property / OpenAlex ID @@
+W2030716060
@@ Property / OpenAlex ID: W2030716060 / rank @@
+Normal rank
@@ Property / cites work @@
+Proceedings of the 7th workshop on coalgebraic methods in computer science (CMCS), Barcelona, Spain, March 27--29, 2004
+Normal rank
@@ Property / cites work @@
+Q4680360
@@ Property / cites work: Q4680360 / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Coalgebraic Model of a Fragment of Fusion Calculus
+Normal rank
@@ Property / cites work @@
+CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
+Normal rank
@@ Property / cites work @@
+Models for name-passing processes: Interleaving and causal
+Normal rank
@@ Property / cites work @@
+Comparing operational models of name-passing process calculi
+Normal rank
@@ Property / cites work @@
+Q3411953
@@ Property / cites work: Q3411953 / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on mobile processes
@@ Property / cites work: Variations on mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847810
@@ Property / cites work: Q2847810 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Systems over Directed Bigraphs
@@ Property / cites work: Reactive Systems over Directed Bigraphs / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of categories of coalgebras
@@ Property / cites work: On the structure of categories of coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of bisimulation for the \(\pi\)-calculus
@@ Property / cites work: A theory of bisimulation for the \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit fusions
@@ Property / cites work: Explicit fusions / rank @@
+Normal rank