SOME OF MY FAVOURITE RESULTS IN CLASSIC PROCESS ALGEBRA
Luca Aceto · WORLD SCIENTIFIC eBooks · 2004
this paper has generated a veritable industry of results on the meta-theory of SOS and process algebras. (See [10] for a mention of some of these achievements and pointers to the original literature.) The proof techniques used in these results were extremely ingenious, and have paved the way to many similar developments. Again, the role played by the modal characterizations of behavioural equivalences in the proof of the characterizations of the largest congruences is remarkable