<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5762</REFNUM><AUTHORS><AUTHOR>Calder,M.</AUTHOR><AUTHOR> Shankland,C.</AUTHOR></AUTHORS><YEAR>2001</YEAR><TITLE>A Symbolic Semantics and Bisimulation for Full LOTOS</TITLE><PLACE_PUBLISHED>Proceedings of Forte 2001, 21st International Conference on Formal Techniques for Networked and Distributed Systems, Korea, 2001. M.Kim, B.Chin, S.Kang and D.Lee (Eds.)</PLACE_PUBLISHED><PUBLISHER>Kluwer</PUBLISHER><PAGES>184-200</PAGES><LABEL>Calder:2001:5762</LABEL></RECORD></RECORDS></XML>