[Lecture Notes in Computer Science] Semantics of Concurrent Computation Volume 70 || Modeling a solution for a control problem in distributed systems by restrictions
- 作者Kahn, Gilles
- 文件大小1145.90KB
- 发表时间1979
- DOI10.1007/bfb0022472
- 页码226-248
[Lecture Notes in Computer Science] Distributed Algorithms Volume 579 || Message delaying synchronizersToueg, Sam; Spirakis, Paul G.; Kirousis, Lefteris · 1992
[Lecture Notes in Computer Science] Distributed Algorithms Volume 579 || Optimal amortized distributed consensusToueg, Sam; Spirakis, Paul G.; Kirousis, Lefteris · 1992
[Lecture Notes in Computer Science] Distributed Algorithms Volume 579 || Implementing FIFO queues and stacksToueg, Sam; Spirakis, Paul G.; Kirousis, Lefteris · 1992
[Lecture Notes in Computer Science] Distributed Algorithms Volume 579 || Detection of global state predicatesToueg, Sam; Spirakis, Paul G.; Kirousis, Lefteris · 1992
[Lecture Notes in Computer Science] Distributed Algorithms Volume 579 || Maintaining digital clocks in stepToueg, Sam; Spirakis, Paul G.; Kirousis, Lefteris · 1992
[Lecture Notes in Computer Science] Distributed Algorithms Volume 579 || Atomic m-register operationsToueg, Sam; Spirakis, Paul G.; Kirousis, Lefteris · 1992
[Lecture Notes in Computer Science] Distributed Algorithms Volume 579 || Distributed algorithms for updating shortest pathsToueg, Sam; Spirakis, Paul G.; Kirousis, Lefteris · 1992