From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus


Houguang Yue

In line with the framework of Theory of Interaction proposed by Yuxi Fu, we formalize the asynchronous theory in model independent way. Borrowing the idea from Church-Turing Thesis, we introduce ℂ-calculus as a minimal interaction model. We give model independent characterization for asynchronous bisimulation equivalence which is generalized to subbisimilarity used as the criteria for Interaction Completeness of interaction models. We present an encoding from ℂ-calculus to asynchronous π-calculus and prove that it satisfies the subbisimilarity statements.

International Journal of Foundations of Computer Science 24(03), pages 349-373,  2013.

@article{interactionpicalculus-ijfcs24,
Author = {Yue, Houguang},
Doi = {10.1142/S0129054113500081},
Journal = {International Journal of Foundations of Computer Science},
Number = 03,
Pages = {349--373},
Title = {From Computing to Interaction: On the Expressiveness of Asynchronous Pi-Calculus},
Url = {http://www.worldscientific.com/doi/abs/10.1142/S0129054113500081},
Url-Pdf = {http://www.worldscientific.com/doi/pdf/10.1142/S0129054113500081},
Volume = 24,
Year = 2013}
Tags:

Publication

— authors

Houguang Yue

— status

published

— sort

article in journal

Venue

— journal

International Journal of Foundations of Computer Science

— volume

24

— issue

03

— pages

349-373

— publication date

2013

URLs

original page  |  original PDF

Identifiers

— DOI

10.1142/S0129054113500081

BibTeX

— BibTeX ID
interactionpicalculus-ijfcs24
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY