|
1.
|
Communication and agreement abstractions for fault-tolerant asynchronous distributed systems
: [electronic resource] /
by Raynal, M. (Michel). Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xxii, 251 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2010Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
2.
|
Fault-tolerant agreement in synchronous message-passing systems
: [electronic resource] /
by Raynal, M. (Michel). Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xxi, 167 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2010Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
3.
|
Principles of transactional memory
: [electronic resource] /
by Guerraoui, Rachid | Kapałka, Michał. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xii, 179 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2010Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
4.
|
The theory of timed I/O automata
: [electronic resource] /
by Kaynar, Dilsun K. Edition: 2nd ed.Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xiv, 123 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2011Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
5.
|
New models for population protocols
: [electronic resource] /
by Michail, Othon | Chatzigiannakis, Ioannis | Spirakis, P. G. (Paul G.) 1955-. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xvi, 140 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2011Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
6.
|
The mobile agent rendezvous problem in the ring
: [electronic resource] /
by Kranakis, Evangelos | Krizanc, Danny | Markou, Euripides. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xvi, 106 p. : ill.) : digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2010Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
7.
|
Cooperative task-oriented computing
: algorithms and complexity /
: [electronic resource] :
by Georgiou, Chryssis | Shvartsman, Alex Allister. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (ix, 155 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2011Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
8.
|
Link reversal algorithms
: [electronic resource] /
by Welch, Jennifer | Walter, Jennifer E. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (viii, 93 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2012Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
9.
|
Quorum systems
: with applications to storage and consensus /
: [electronic resource] :
by Vukolić, Marko. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xv, 130 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2012Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
10.
|
Distributed computing by oblivious mobile robots
: [electronic resource] /
by Flocchini, Paola | Prencipe, Giuseppe 1972- | Santoro, N. (Nicola) 1951-. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xiii, 171 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2012Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
11.
|
Distributed graph coloring
: fundamentals and recent developments /
: [electronic resource] :
by Barenboim, Leonid | Elkin, Michael. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 electronic text (xiii, 157 p.) : ill., digital file.Publisher: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, c2013Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
12.
|
Impossibility results for distributed computing /
by Attiya, Hagit [author.] | Ellen, Faith [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xv, 146 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2014.Online access: Abstract with links to resource | Abstract with links to full text Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
13.
|
Decidability of parameterized verification /
by Bloem, Roderick P [author.] | Jacobs, Swen [author.] | Khalimov, Ayrat [author.] | Konnov, Igor 1958-, [author.] | Rubin, Sasha [author.] | Veith, Helmut [author.] | Widder, Josef [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xi, 158 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2015.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
14.
|
Distributed computing pearls /
by Taubenfeld, Gadi [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xv, 107 pages) : illustrations.Publisher: [San Rafael, California] : Morgan & Claypool, 2018.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
15.
|
Introduction to distributed self-stabilizing algorithms /
by Altisen, Karine [author.] | Devismes, Stéphane [author.] | Dubois, Swan [author.] | Petit, Franck [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xvii, 147 pages) : illustrations (some color).Publisher: [San Rafael, California] : Morgan & Claypool, [2019]Online access: Abstract with links to full text | Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
|
16.
|
Network topology and fault-tolerant consensus /
by Sakavalas, Dimitris [author.] | Tseng, Lewis [author.]. Material type: Book; Format:
available online
; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xxi, 129 pages) : illustrations.Publisher: [San Rafael, California] : Morgan & Claypool, [2019]Online access: Abstract with links to full text | Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|