Deriving Bisimulation Congruences with Borrowed Contexts (Invited ...
Reference
Barbara König. Deriving bisimulation congruences with borrowed contexts (invited talk). In Proc. of CALCO '07 (Algebra and Coalgebra in Computer Science), pages 36–39. Springer, 2007. LNCS 4624.
Suggested BibTeX entry:
@inproceedings{K07,
author = {Barbara K{\"o}nig},
booktitle = {Proc. of CALCO '07 (Algebra and Coalgebra in Computer Science)},
note = {{LNCS} 4624},
pages = {36--39},
publisher = {Springer},
title = {Deriving Bisimulation Congruences with Borrowed Contexts (Invited Talk)},
year = {2007}
}
