Recursive Equations In Higher-Order Process Calculi

Elsevier Science Bv
Publication Type:
Journal Article
Theoretical Computer Science, 2001, 266 (1-Feb), pp. 839 - 852
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2008004834OK.pdf131.29 kB
Adobe PDF
Regarding behaviour equivalence in higher-order process calculi, Sangiorgi (Inform. and Comput. 131 (1996) 141) and Thomsen (Inform. and Comput. 116 (1995) 38) introduced context and higher-order bisimulations, respectively. In this paper, uniqueness of
Please use this identifier to cite or link to this item: