A CCS-based investigation of deadlock in a multi-process electronic mail system (Q688829): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700824
@@ Property / cites work: Q3700824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4005177
@@ Property / cites work: Q4005177 / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733387
@@ Property / cites work: Q4733387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4319638
@@ Property / cites work: Q4319638 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:688829