Markus Müller-Olm, Bernhard Steffen, Rance Cleaveland
On the Evolution of Reactive Components: A Process-Algebraic Approach
FASE, 1999.
@inproceedings{FASE-1999-Muller-OlmSC,
author = "Markus Müller-Olm and Bernhard Steffen and Rance Cleaveland",
booktitle = "{Proceedings of the Second International Conference on Fundamental Approaches to Software Engineering}",
isbn = "3-540-65718-5",
pages = "161--175",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{On the Evolution of Reactive Components: A Process-Algebraic Approach}",
volume = 1577,
year = 1999,
}