Strong fairness and full abstraction for communicating processes (Q1854396): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2010167000
@@ Property / OpenAlex ID: W2010167000 / rank @@
+Normal rank
@@ Property / cites work @@
+Appraising fairness in languages for distributed programming
+Normal rank
@@ Property / cites work @@
+Countable nondeterminism and random assignment
@@ Property / cites work: Countable nondeterminism and random assignment / rank @@
+Normal rank
@@ Property / cites work @@
+The essence of parallel Algol.
@@ Property / cites work: The essence of parallel Algol. / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for a shared-variable parallel language
+Normal rank
@@ Property / cites work @@
+Q4222750
@@ Property / cites work: Q4222750 / 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 @@
+Weak and strong fairness in CCS
@@ Property / cites work: Weak and strong fairness in CCS / rank @@
+Normal rank
@@ Property / cites work @@
+About fair asynchrony
@@ Property / cites work: About fair asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Q3738540
@@ Property / cites work: Q3738540 / rank @@
+Normal rank
@@ Property / cites work @@
+Acceptance trees
@@ Property / cites work: Acceptance trees / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic theory of fair asynchronous communicating processes
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of total correctness for communicating processes
+Normal rank
@@ Property / cites work @@
+Fully abstract denotational models for nonuniform concurrent languages
+Normal rank
@@ Property / cites work @@
+Q3677137
@@ Property / cites work: Q3677137 / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract trace model for dataflow and asynchronous networks
+Normal rank
@@ Property / cites work @@
+Q3657417
@@ Property / cites work: Q3657417 / 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 @@
+Q4222898
@@ Property / cites work: Q4222898 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906397
@@ Property / cites work: Q3906397 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3657409
@@ Property / cites work: Q3657409 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1854396