Locality and interleaving semantics in calculi for mobile processes (Q672123): 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/0304-3975(95)00020-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2033241085
@@ Property / OpenAlex ID: W2033241085 / rank @@
+Normal rank
@@ Property / cites work @@
+A static view of localities
@@ Property / cites work: A static view of localities / rank @@
+Normal rank
@@ Property / cites work @@
+An efficiency preorder for processes
@@ Property / cites work: An efficiency preorder for processes / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract semantics for causality in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Observing localities
@@ Property / cites work: Observing localities / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of processes with localities
@@ Property / cites work: A theory of processes with localities / rank @@
+Normal rank
@@ Property / cites work @@
+Universal axioms for bisimulations
@@ Property / cites work: Universal axioms for bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Proved trees
@@ Property / cites work: Proved trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771632
@@ Property / cites work: Q3771632 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035238
@@ Property / cites work: Q4035238 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing locality and causality based equivalences
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and Algebra of Specification
@@ Property / cites work: Logic and Algebra of Specification / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / 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 @@
+A parametric approach to localities
@@ Property / cites work: A parametric approach to localities / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic theories for name-passing calculi
@@ Property / cites work: Algebraic theories for name-passing calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous process calculi: The first- and higher-order paradigms
+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 @@
+On the bisimulation proof method
@@ Property / cites work: On the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+Objects in the \(\pi\)-calculus
@@ Property / cites work: Objects in the \(\pi\)-calculus / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:672123