W. Janssen, and J. Zwiers. Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 571 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1991)
DOI: 10.1007/3-540-55092-5_17
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 janssen1991protocol
%A Janssen, Wil
%A Zwiers, Job
%B Formal Techniques in Real-Time and Fault-Tolerant Systems
%D 1991
%E Vytopil, Jan
%I Springer Berlin Heidelberg
%K decomposition design layered protocol
%P 307-326
%R 10.1007/3-540-55092-5_17
%T Protocol design by layered decomposition
%U http://dx.doi.org/10.1007/3-540-55092-5_17
%V 571
%X A version of the two phase commit protocol is formally derived from its specification. The design starts with an
%@ 978-3-540-55092-1
@incollection{janssen1991protocol,
abstract = {A version of the two phase commit protocol is formally derived from its specification. The design starts with an },
added-at = {2015-02-09T13:56:58.000+0100},
author = {Janssen, Wil and Zwiers, Job},
biburl = {https://www.bibsonomy.org/bibtex/2acccf94fe453227ab051625c8ef532fa/schlitsch},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems},
description = {Protocol design by layered decomposition - Springer},
doi = {10.1007/3-540-55092-5_17},
editor = {Vytopil, Jan},
interhash = {48905abee430d7410501dd64f45719c5},
intrahash = {acccf94fe453227ab051625c8ef532fa},
isbn = {978-3-540-55092-1},
keywords = {decomposition design layered protocol},
language = {English},
pages = {307-326},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
timestamp = {2015-02-09T14:02:29.000+0100},
title = {Protocol design by layered decomposition},
url = {http://dx.doi.org/10.1007/3-540-55092-5_17},
volume = 571,
year = 1991
}