Recursive equations in higher-order process calculi

Authors
Ying, MS Wirsing, M
Citation
Ms. Ying et M. Wirsing, Recursive equations in higher-order process calculi, THEOR COMP, 266(1-2), 2001, pp. 839-852
Citations number
16
Categorie Soggetti
Computer Science & Engineering
Journal title
THEORETICAL COMPUTER SCIENCE
ISSN journal
03043975 → ACNP
Volume
266
Issue
1-2
Year of publication
2001
Pages
839 - 852
Database
ISI
SICI code
0304-3975(20010906)266:1-2<839:REIHPC>2.0.ZU;2-V
Abstract
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 solutions of equations with respect to strong context and higher-order bisimilarities and compatibility of strong context and higher-order bisimilarities with recursive definitions are shown. (C) 2001 Elsevier Science B.V. All rights reserved.