BibTeX
@inproceedings{DBLP:conf/coordination/BontaBMK06,
author = {Edoardo Bont{\`a} and
Marco Bernardo and
Jeff Magee and
Jeff Kramer},
title = {Synthesizing Concurrency Control Components from Process
Algebraic Specifications},
booktitle = {COORDINATION},
year = {2006},
pages = {28-43},
ee = {http://dx.doi.org/10.1007/11767954_3},
crossref = {DBLP:conf/coordination/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/coordination/2006,
editor = {Paolo Ciancarini and
Herbert Wiklicky},
title = {Coordination Models and Languages, 8th International Conference,
COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings},
booktitle = {COORDINATION},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4038},
year = {2006},
isbn = {3-540-34694-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2006-06-13 by Michael Ley (ley@uni-trier.de)