The algebra of communicating processes with empty process (Q1391788): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Global renaming operators in concrete process algebra
+Normal rank
@@ Property / cites work @@
+Q4727412
@@ Property / cites work: Q4727412 / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of Koomen's fair abstraction rule
+Normal rank
@@ Property / cites work @@
+Q3776606
@@ Property / cites work: Q3776606 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997282
@@ Property / cites work: Q3997282 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with guards: Combining hoare logic with process algebra
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1391788