On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems
M. Kühnrich, and U. Nestmann. Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems, page 198--212. Berlin, Heidelberg, Springer-Verlag, (2009)
DOI: http://dx.doi.org/10.1007/978-3-642-02138-1_13
Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 Kuhnrich09ProcessAlgebraicProofFaultTolerance
%A Kühnrich, Morten
%A Nestmann, Uwe
%B Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
%C Berlin, Heidelberg
%D 2009
%I Springer-Verlag
%K distributed fault_tolerance process_algebra verification
%P 198--212
%R http://dx.doi.org/10.1007/978-3-642-02138-1_13
%T On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems
%U http://dx.doi.org/10.1007/978-3-642-02138-1_13
%@ 978-3-642-02137-4
@inproceedings{Kuhnrich09ProcessAlgebraicProofFaultTolerance,
acmid = {1573970},
added-at = {2011-02-01T15:05:30.000+0100},
address = {Berlin, Heidelberg},
author = {K\"{u}hnrich, Morten and Nestmann, Uwe},
biburl = {https://www.bibsonomy.org/bibtex/2d3c7cd77370fcb4d832ebd7f13fe61d3/giuliano.losa},
booktitle = {Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems},
doi = {http://dx.doi.org/10.1007/978-3-642-02138-1_13},
interhash = {87a4d2d58a5974d7679f0b45d4c6f862},
intrahash = {d3c7cd77370fcb4d832ebd7f13fe61d3},
isbn = {978-3-642-02137-4},
keywords = {distributed fault_tolerance process_algebra verification},
location = {Lisboa, Portugal},
numpages = {15},
pages = {198--212},
publisher = {Springer-Verlag},
series = {FMOODS '09/FORTE '09},
timestamp = {2011-02-01T15:05:30.000+0100},
title = {On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems},
url = {http://dx.doi.org/10.1007/978-3-642-02138-1_13},
year = 2009
}