Luís Dominguez. A Bisimilarity Logical Relation for the Object Calculus S. In Zoltán Ésik, Igor Walukiewicz, editors, FICS '03 - Fixed Points in Computer Science, Proceedings of an International Workshop, Warsaw, Poland, April 12-13, 2003. pages 19-31, University of Warsaw, 2003. [doi]
Abstract is missing.