Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability (Q1575646): Difference between revisions

@@ Property / describes a project that uses @@
+Ada95
@@ Property / describes a project that uses: Ada95 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Appraising fairness in languages for distributed programming
+Normal rank
@@ Property / cites work @@
+Distributed cooperation with action systems
@@ Property / cites work: Distributed cooperation with action systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4836494
@@ Property / cites work: Q4836494 / rank @@
+Normal rank
@@ Property / cites work @@
+An Effective Implementation for the Generalized Input-Output Construct of CSP
+Normal rank
@@ Property / cites work @@
+Q4114551
@@ Property / cites work: Q4114551 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864236
@@ Property / cites work: Q4864236 / rank @@
+Normal rank
@@ Property / cites work @@
+Script: A communication abstraction mechanism and its verification
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818828
@@ Property / cites work: Q4818828 / rank @@
+Normal rank
@@ Property / cites work @@
+A comprehensive study of the complexity of multiparty interaction
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+A distributed synchronization scheme for fair multi-process handshakes
+Normal rank
@@ Property / cites work @@
+Q4723292
@@ Property / cites work: Q4723292 / rank @@
+Normal rank
@@ Property / cites work @@
+Real-Time Synchronization of Interprocess Communications
+Normal rank
@@ Property / cites work @@
+Some impossibility results in interprocess synchronization
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(98)00224-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2164096633
@@ Property / OpenAlex ID: W2164096633 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127942801
@@ Property / Wikidata QID: Q127942801 / rank @@
+Normal rank