著者
書誌事項
Synthesis lectures on distributed computing theory
Springer
この図書・雑誌をさがす
注記
Reprint. Originally published: Morgan & Claypool
関連文献: 18件中 1-18を表示
-
1
- Distributed computing by oblivious mobile robots
-
Paola Flocchini, Giuseppe Prencipe, Nicola Santoro
Springer c2022 Synthesis lectures on distributed computing theory 10 , Synthesis collection of technology
: pbk
所蔵館1館
-
2
- New models for population protocols
-
Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis
Springer c2022 Synthesis lectures on distributed computing theory 6 , Synthesis collection of technology
: pbk
所蔵館1館
-
3
- Principles of transactional memory
-
Rachid Guerraoui and Michał Kapałka
Springer c2022 Synthesis lectures on distributed computing theory 4 , Synthesis collection of technology
: pbk
所蔵館1館
-
4
- Fault-tolerant agreement in synchronous message-passing systems
-
Michel Raynal
Springer c2022 Synthesis lectures on distributed computing theory 3 , Synthesis collection of technology
: pbk
所蔵館1館
-
5
- Communication and agreement abstractions for fault-tolerant asynchronous distributed systems
-
Michel Raynal
Springer c2022 Synthesis lectures on distributed computing theory 2 , Synthesis collection of technology
: pbk
所蔵館1館
-
6
- Concurrent crash-prone shared memory systems : a few theoretical notions
-
Michel Raynal
Springer c2022 Synthesis lectures on distributed computing theory 18 , Synthesis collection of technology
: pbk
所蔵館1館
-
7
- Consistent distributed storage
-
Vincent Gramoli, Nicolas Nicolaou, Alexander A. Schwarzmann
Springer c2022 Synthesis lectures on distributed computing theory 17 , Synthesis collection of technology
: pbk
所蔵館1館
-
8
- Network topology and fault-tolerant consensus
-
Dimitris Sakavalas, Lewis Tseng
Springer c2022 Synthesis lectures on distributed computing theory 16 , Synthesis collection of technology
: pbk
所蔵館1館
-
9
- Distributed computing pearls
-
Gadi Taubenfeld
Springer c2022 Synthesis lectures on distributed computing theory 14 , Synthesis collection of technology
: pbk
所蔵館1館
-
10
- Decidability of parameterized verification
-
Roderick Bloem ... [et al.]
Springer c2022 Synthesis lectures on distributed computing theory 13 , Synthesis collection of technology
: pbk
所蔵館1館
-
11
- Distributed graph coloring : fundamentals and recent developments
-
Leonid Barenboim and Michael Elkin
Springer c2022 Synthesis lectures on distributed computing theory 11 , Synthesis collection of technology
: pbk
所蔵館1館
-
12
- Introduction to distributed self-stabilizing algorithms
-
Karine Altisen ... [et al.]
Springer c2022 Synthesis lectures on distributed computing theory 15 , Synthesis collection of technology
: pbk
所蔵館1館
-
13
- Impossibility results for distributed computing
-
Hagit Attiya, Faith Ellen
Springer c2022 Synthesis lectures on distributed computing theory 12 , Synthesis collection of technology
: pbk
所蔵館1館
-
14
- Quorum systems : with applications to storage and consensus
-
Marko Vukolić
Springer c2022 Synthesis lectures on distributed computing theory 9 , Synthesis collection of technology
: pbk
所蔵館1館
-
15
- Link reversal algorithms
-
Jennifer L. Welch, Jennifer E. Walter
Springer c2022 Synthesis lectures on distributed computing theory 8 , Synthesis collection of technology
: pbk
所蔵館1館
-
16
- Cooperative task-oriented computing : algorithms and complexity
-
Chryssis Georgiou, Alexander A.Shvartsman
Springer c2022 Synthesis lectures on distributed computing theory 7 , Synthesis collection of technology
: pbk
所蔵館1館
-
17
- The theory of timed I/O automata
-
Dilsun K. Kaynar... [et al.]
Springer c2022 2nd ed Synthesis lectures on distributed computing theory 5 , Synthesis collection of technology
: pbk
所蔵館1館
-
18
- The mobile agent rendezvous problem in the ring
-
Evangelos Kranakis, Danny Krizanc, Euripides Markou
Springer c2022 Synthesis lectures on distributed computing theory 1 , Synthesis collection of technology
: pbk
所蔵館1館