Please use this identifier to cite or link to this item:
|Title:||A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity.|
Ambler, Simon J.
Crole, Roy L.
|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|
|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.