I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Analysis of Communication Topologies by Partner Abstraction

Reference:

J. Bauer. Analysis of Communication Topologies by Partner Abstraction. PhD thesis, Universität des Saarlandes, 2006.

Keywords:

graph transformation, static analysis, communication topologies

Suggested BibTeX entry:

@phdthesis{Bauer06,
    author = {J. Bauer},
    publisher = {Verlag Pirrot, 66125 Saarbr{\"u}cken},
    school = {Universit{\"a}t des Saarlandes},
    title = {{A}nalysis of {C}ommunication {T}opologies by {P}artner {A}bstraction},
    year = {2006}
}

PDF (1 MB)