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

@@ 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