On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems

Morten Kühnrich; Uwe Nestmann

doi:10.1007/978-3-642-02138-1_13

On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems

Morten Kühnrich, Uwe Nestmann

Department of Computer Science

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

4 Citations (Scopus)

Original language	English
Book series	Lecture Notes in Computer Science
Volume	5522
Pages (from-to)	198-212
ISSN	0302-9743
DOIs	https://doi.org/10.1007/978-3-642-02138-1_13
Publication status	Published - 2009
Event	IFIP Formal Techniques for Networked and Distributed Systems/11th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems - Lisbon, Portugal Duration: 9 Jun 2009 → 12 Sept 2009 Conference number: 29th

Conference

Conference	IFIP Formal Techniques for Networked and Distributed Systems/11th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems
Number	29th
Country/Territory	Portugal
City	Lisbon
Period	09/06/2009 → 12/09/2009

Access to Document

10.1007/978-3-642-02138-1_13

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{97147990300711dfaeaf000ea68e967b,

title = "On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems",

author = "Morten K{\"u}hnrich and Uwe Nestmann",

note = "Titel: Formal Techniques for Distributed Systems, Proceedings Oversat titel: Oversat undertitel: Forlag: Springer ISBN (Trykt): 978-3-642-02137-4 ISBN (Elektronisk): Publikationsserier: Lecture Notes in Computer Science, 0302-9743, 5522 ; IFIP Formal Techniques for Networked and Distributed Systems/11th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems ; Conference date: 09-06-2009 Through 12-09-2009",

year = "2009",

doi = "10.1007/978-3-642-02138-1_13",

language = "English",

volume = "5522",

pages = "198--212",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}

TY - GEN

T1 - On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems

AU - Kühnrich, Morten

AU - Nestmann, Uwe

N1 - Conference code: 29th

PY - 2009

Y1 - 2009

U2 - 10.1007/978-3-642-02138-1_13

DO - 10.1007/978-3-642-02138-1_13

M3 - Conference article in Journal

SN - 0302-9743

VL - 5522

SP - 198

EP - 212

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - IFIP Formal Techniques for Networked and Distributed Systems/11th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems

Y2 - 9 June 2009 through 12 September 2009

ER -