A theory of processes with localities (Q1329198): Difference between revisions

@@ Property / author @@
-Ilaria Castellani
@@ Property / author: Ilaria Castellani / rank @@
-Normal rank
@@ Property / author @@
-Q236797
@@ Property / author: Q236797 / rank @@
-Normal rank
@@ Property / author @@
-Astrid Kiehn
@@ Property / author: Astrid Kiehn / rank @@
-Normal rank
@@ Property / author @@
+Ilaria Castellani
@@ Property / author: Ilaria Castellani / rank @@
+Normal rank
@@ Property / author @@
+Matthew C. B. Hennessy
@@ Property / author: Matthew C. B. Hennessy / rank @@
+Normal rank
@@ Property / author @@
+Astrid Kiehn
@@ Property / author: Astrid Kiehn / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Q4015488
@@ Property / cites work: Q4015488 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035230
@@ Property / cites work: Q4035230 / 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 @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Q3817586
@@ Property / cites work: Q3817586 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed bisimulations
@@ Property / cites work: Distributed bisimulations / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatising Finite Concurrent Processes
@@ Property / cites work: Axiomatising Finite Concurrent Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Flowgraphs and Flow Algebras
@@ Property / cites work: Flowgraphs and Flow Algebras / 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 @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01221098
+Normal rank
@@ Property / OpenAlex ID @@
+W3020829080
@@ Property / OpenAlex ID: W3020829080 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1329198