On Context Bisimulation for Parameterized Higher-order Processes
This paper studies context bisimulation for higher-order processes, in the presence of parameterization (viz. abstraction). We show that the extension of higher-order processes with process parameterization retains the characterization of context bisimulation by a much simpler form of bisimulation c...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2013-10-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1310.4572v1 |
| _version_ | 1811322136295374848 |
|---|---|
| author | Xian Xu |
| author_facet | Xian Xu |
| author_sort | Xian Xu |
| collection | DOAJ |
| description | This paper studies context bisimulation for higher-order processes, in the presence of parameterization (viz. abstraction). We show that the extension of higher-order processes with process parameterization retains the characterization of context bisimulation by a much simpler form of bisimulation called normal bisimulation (viz. they are coincident), in which universal quantifiers are eliminated; whereas it is not the same with name parameterization. These results clarify further the bisimulation theory of higher-order processes, and also shed light on the essential distinction between the two kinds of parameterization. |
| first_indexed | 2024-04-13T13:29:53Z |
| format | Article |
| id | doaj.art-ebaa6659dc584922924ac9e0aea7dbb7 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-04-13T13:29:53Z |
| publishDate | 2013-10-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-ebaa6659dc584922924ac9e0aea7dbb72022-12-22T02:45:01ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802013-10-01131Proc. ICE 2013375110.4204/EPTCS.131.5On Context Bisimulation for Parameterized Higher-order ProcessesXian XuThis paper studies context bisimulation for higher-order processes, in the presence of parameterization (viz. abstraction). We show that the extension of higher-order processes with process parameterization retains the characterization of context bisimulation by a much simpler form of bisimulation called normal bisimulation (viz. they are coincident), in which universal quantifiers are eliminated; whereas it is not the same with name parameterization. These results clarify further the bisimulation theory of higher-order processes, and also shed light on the essential distinction between the two kinds of parameterization.http://arxiv.org/pdf/1310.4572v1 |
| spellingShingle | Xian Xu On Context Bisimulation for Parameterized Higher-order Processes Electronic Proceedings in Theoretical Computer Science |
| title | On Context Bisimulation for Parameterized Higher-order Processes |
| title_full | On Context Bisimulation for Parameterized Higher-order Processes |
| title_fullStr | On Context Bisimulation for Parameterized Higher-order Processes |
| title_full_unstemmed | On Context Bisimulation for Parameterized Higher-order Processes |
| title_short | On Context Bisimulation for Parameterized Higher-order Processes |
| title_sort | on context bisimulation for parameterized higher order processes |
| url | http://arxiv.org/pdf/1310.4572v1 |
| work_keys_str_mv | AT xianxu oncontextbisimulationforparameterizedhigherorderprocesses |