%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 }