A calculus for collective-adaptive systems and its behavioural theory (Q2272994): Difference between revisions

@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Psi-calculi: a framework for mobile processes with nominal data and logic
+Normal rank
@@ Property / cites work @@
+Explicit fusions
@@ Property / cites work: Explicit fusions / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767080
@@ Property / cites work: Q2767080 / rank @@
+Normal rank
@@ Property / cites work @@
+CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
+Normal rank
@@ Property / cites work @@
+On the Power of Attribute-Based Communication
@@ Property / cites work: On the Power of Attribute-Based Communication / rank @@
+Normal rank
@@ Property / cites work @@
+Computation in networks of passively mobile finite-state sensors
+Normal rank
@@ Property / cites work @@
+Basic observables for processes
@@ Property / cites work: Basic observables for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / 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 @@
+Expressiveness via Intensionality and Concurrency
@@ Property / cites work: Expressiveness via Intensionality and Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a unified approach to encodability and separation results for process calculi
+Normal rank
@@ Property / cites work @@
+The Applied Pi Calculus
@@ Property / cites work: The Applied Pi Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Pattern Calculus
@@ Property / cites work: Concurrent Pattern Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The Attributed Pi-Calculus with Priorities
@@ Property / cites work: The Attributed Pi-Calculus with Priorities / rank @@
+Normal rank