An annotated specification of the consensus protocol of Paxos using superposition in PVS

P. Kellomäki

Research output: Book/Report › Commissioned report

Translated title of the contribution	An annotated specification of the consensus protocol of Paxos using superposition in PVS
Original language	English
Place of Publication	Tampere
Number of pages	84
Publication status	Published - 2004
Publication type	D4 Published development or research report or study

Name	Tampereen teknillinen yliopisto, Ohjelmistotekniikka, Tutkimusraportti
Volume	36

Publication forum classification

TY - BOOK

T1 - An annotated specification of the consensus protocol of Paxos using superposition in PVS

AU - Kellomäki, P.

N1 - Contribution: organisation=ohj,FACT1=1

PY - 2004

Y1 - 2004

M3 - Commissioned report

T3 - Tampereen teknillinen yliopisto, Ohjelmistotekniikka, Tutkimusraportti

BT - An annotated specification of the consensus protocol of Paxos using superposition in PVS

CY - Tampere

ER -