Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska. Compositional assume-guarantee reasoning for input/output component theories. Science of Computer Programming, 91:115-137, 2014. [doi]
@article{ChiltonJK14,
title = {Compositional assume-guarantee reasoning for input/output component theories},
author = {Chris Chilton and Bengt Jonsson and Marta Z. Kwiatkowska},
year = {2014},
doi = {10.1016/j.scico.2013.12.010},
url = {http://dx.doi.org/10.1016/j.scico.2013.12.010},
researchr = {https://researchr.org/publication/ChiltonJK14},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {91},
pages = {115-137},
}