Giorgio Delzanno, Maurizio Gabbrielli. Compositional Verification of Asynchronous Processes via Constraint Solving. In Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung, editors, Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings. Volume 3580 of Lecture Notes in Computer Science, pages 1239-1250, Springer, 2005. [doi]
@inproceedings{DelzannoG05,
title = {Compositional Verification of Asynchronous Processes via Constraint Solving},
author = {Giorgio Delzanno and Maurizio Gabbrielli},
year = {2005},
doi = {10.1007/11523468_100},
url = {http://dx.doi.org/10.1007/11523468_100},
tags = {composition, constraints},
researchr = {https://researchr.org/publication/DelzannoG05},
cites = {0},
citedby = {0},
pages = {1239-1250},
booktitle = {Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
editor = {Luís Caires and Giuseppe F. Italiano and Luís Monteiro and Catuscia Palamidessi and Moti Yung},
volume = {3580},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-27580-0},
}