Network Conscious π-calculus: A Concurrent Semantics (Q3178290): Difference between revisions

@@ Property / cites work @@
+A Category of Explicit Fusions
@@ Property / cites work: A Category of Explicit Fusions / rank @@
+Normal rank
@@ Property / cites work @@
+Families of Symmetries as Efficient Models of Resource Binding
+Normal rank
@@ Property / cites work @@
+Symmetries, local names and dynamic (de)-allocation of names
+Normal rank
@@ Property / cites work @@
+An abstract machine for concurrent modular systems: CHARM
+Normal rank
@@ Property / cites work @@
+On the expressive power of \textsc{Klaim}-based calculi
+Normal rank
@@ Property / cites work @@
+Basic observables for a calculus for global computing
+Normal rank
@@ Property / cites work @@
+A theory of system behaviour in the presence of node and link failure
+Normal rank
@@ Property / cites work @@
+A calculus for costed computations
@@ Property / cites work: A calculus for costed computations / rank @@
+Normal rank
@@ Property / cites work @@
+Counting the Cost in the Picalculus (Extended Abstract)
+Normal rank
@@ Property / cites work @@
+Resource access control in systems of mobile agents
+Normal rank
@@ Property / cites work @@
+Concurrent and Located Synchronizations in π-Calculus
+Normal rank
@@ Property / cites work @@
+A Categorical Model of the Fusion Calculus
@@ Property / cites work: A Categorical Model of the Fusion Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Network Conscious π-calculus: A Concurrent Semantics
+Normal rank