Article ID Journal Published Year Pages File Type
6874142 Information Processing Letters 2018 9 Pages PDF
Abstract
Textbook examples of valid encoding are the encodings proposed by Boudol and by Honda & Tokoro of the synchronous choice-free π-calculus into its asynchronous fragment, illustrating that the latter is no less expressive than the former. Here I formally establish that these encodings indeed satisfy Gorla's criteria.
Keywords
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Preview
On the validity of encodings of the synchronous in the asynchronous π-calculus
Authors
,