Benoît Delahaye, Benoît Caillaud, Axel Legay. Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. In Luís Gomes, Victor Khomenko, João M. Fernandes, editors, 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010. pages 223-232, IEEE Computer Society, 2010. [doi]
@inproceedings{DelahayeCL10,
title = {Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems},
author = {Benoît Delahaye and Benoît Caillaud and Axel Legay},
year = {2010},
doi = {10.1109/ACSD.2010.13},
url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.13},
tags = {contracts, composition, design},
researchr = {https://researchr.org/publication/DelahayeCL10},
cites = {0},
citedby = {0},
pages = {223-232},
booktitle = {10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010},
editor = {Luís Gomes and Victor Khomenko and João M. Fernandes},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4066-5},
}