The Universal Process
A universal process of a process calculus is one that, given the G\"{o}del index of a process of a certain type, produces a process equivalent to the encoded process. This paper demonstrates how universal processes can be formally defined and how a universal process of the value-passing calculu...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Logical Methods in Computer Science e.V.
2017-11-01
|
| Series: | Logical Methods in Computer Science |
| Subjects: | |
| Online Access: | https://lmcs.episciences.org/4073/pdf |
| _version_ | 1797268620164726784 |
|---|---|
| author | Yuxi Fu |
| author_facet | Yuxi Fu |
| author_sort | Yuxi Fu |
| collection | DOAJ |
| description | A universal process of a process calculus is one that, given the G\"{o}del
index of a process of a certain type, produces a process equivalent to the
encoded process. This paper demonstrates how universal processes can be
formally defined and how a universal process of the value-passing calculus can
be constructed. The existence of such a universal process in a process model
can be explored to implement higher order communications, security protocols,
and programming languages in the process model. A process version of the S-m-n
theorem is stated to showcase how to embed the recursion theory in a process
calculus. |
| first_indexed | 2024-04-25T01:35:22Z |
| format | Article |
| id | doaj.art-456f2df188714832a7958b2b4af5909c |
| institution | Directory Open Access Journal |
| issn | 1860-5974 |
| language | English |
| last_indexed | 2024-04-25T01:35:22Z |
| publishDate | 2017-11-01 |
| publisher | Logical Methods in Computer Science e.V. |
| record_format | Article |
| series | Logical Methods in Computer Science |
| spelling | doaj.art-456f2df188714832a7958b2b4af5909c2024-03-08T09:52:12ZengLogical Methods in Computer Science e.V.Logical Methods in Computer Science1860-59742017-11-01Volume 13, Issue 410.23638/LMCS-13(4:11)20174073The Universal ProcessYuxi FuA universal process of a process calculus is one that, given the G\"{o}del index of a process of a certain type, produces a process equivalent to the encoded process. This paper demonstrates how universal processes can be formally defined and how a universal process of the value-passing calculus can be constructed. The existence of such a universal process in a process model can be explored to implement higher order communications, security protocols, and programming languages in the process model. A process version of the S-m-n theorem is stated to showcase how to embed the recursion theory in a process calculus.https://lmcs.episciences.org/4073/pdfcomputer science - logic in computer science |
| spellingShingle | Yuxi Fu The Universal Process Logical Methods in Computer Science computer science - logic in computer science |
| title | The Universal Process |
| title_full | The Universal Process |
| title_fullStr | The Universal Process |
| title_full_unstemmed | The Universal Process |
| title_short | The Universal Process |
| title_sort | universal process |
| topic | computer science - logic in computer science |
| url | https://lmcs.episciences.org/4073/pdf |
| work_keys_str_mv | AT yuxifu theuniversalprocess AT yuxifu universalprocess |