Avoiding Diamonds in Desynchronization


Harsh Beohar and Pieter Cuijpers. Avoiding diamonds in desynchronization. In Corina Păsăreanu and Gwen Salaün, editors, Formal Aspects of Component Software, volume 7684 of LNCS, pages 36–54. Springer Berlin Heidelberg, 2013.

Suggested BibTeX entry:

    author = {Harsh Beohar and Pieter Cuijpers},
    booktitle = {Formal Aspects of Component Software},
    editor = {Corina P\u{a}s\u{a}reanu and Gwen Sala\"{u}n},
    pages = {36-54},
    publisher = {Springer Berlin Heidelberg},
    series = {LNCS},
    title = {Avoiding Diamonds in Desynchronization},
    volume = {7684},
    year = {2013}

Journal versionThis work is not available online here.
© University of Duisburg-Essen, Theoretical Computer Science group