Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/3434
Title: A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity.
Authors: Momigliano, Alberto
Ambler, Simon J.
Crole, Roy L.
First Published: 2002
Citation: Logical Frameworks and Metalanguages, 3rd International Workshop, LFM 2002, July 26th, Copenhagen, Denmark, 2002. Volume 70(2) of Electronic Notes in Theoretical Computer Science, pp. 60-75
ISSN: 1571-0661
Links: http://dx.doi.org/10.1016/S1571-0661(04)80506-1
http://hdl.handle.net/2381/3434
Type: Conference paper
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.