Avoiding Diamonds in Desynchronization
Reference
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:
@inproceedings{avoiding-dsync,
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}
}
