Erika Ábrahám, Marcello M. Bonsangue, Frank S. de Boer, Andreas Grüner, Martin Steffen. Observability, Connectivity, and Replay in a Sequential Calculus of Classes. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures. Volume 3657 of Lecture Notes in Computer Science, pages 296-316, Springer, 2004. [doi]
@inproceedings{AbrahamBBGS04,
title = {Observability, Connectivity, and Replay in a Sequential Calculus of Classes},
author = {Erika Ábrahám and Marcello M. Bonsangue and Frank S. de Boer and Andreas Grüner and Martin Steffen},
year = {2004},
doi = {10.1007/11561163_13},
url = {http://dx.doi.org/10.1007/11561163_13},
researchr = {https://researchr.org/publication/AbrahamBBGS04},
cites = {0},
citedby = {0},
pages = {296-316},
booktitle = {Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures},
editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
volume = {3657},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-29131-8},
}