On the Evolution of Reactive Components: A Process-Algebraic Approach.

Markus Mller-Olm, Bernhard Steffen, Rance Cleaveland

Browse the full FASE paper archive.