Boreale, Michele and Buscemi, Maria Grazia and Montanari, Ugo
*D-Fusion: A Distinctive Fusion Calculus.*
In:
Proceedings of the Second Asian Symposium on Programming Languages and Systems (APLAS’04).
Lecture Notes in Computer Science, 3302
.
Springer, pp. 296-310.
ISBN 3-540-23724-0
(2004)

## Abstract

We study the relative expressive power of Fusion and pi-calculus. Fusion is commonly regarded as a generalisation of pi-calculus. Actually, we prove that there is no uniform fully abstract embedding of pi-calculus into Fusion. This fact motivates the introduction of a new calculus, D-Fusion, with two binders, λ and ν. We show that D-Fusion is strictly more expressive than both pi-calculus and Fusion. The expressiveness gap is further clarified by the existence of a fully abstract encoding of mixed guarded choice into the choice-free fragment of D-Fusion.

Item Type: | Book Section |
---|---|

Identification Number: | 10.1007/978-3-540-30477-7_20 |

Additional Information: | The final publication is available at www.springerlink.com |

Funders: | Research partially supported by FET-Global Computing projects PROFUNDIS and MIKADO. |

Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |

Research Area: | Computer Science and Applications |

Depositing User: | Users 29 not found. |

Date Deposited: | 01 Mar 2011 09:55 |

Last Modified: | 11 Jul 2011 14:33 |

URI: | http://eprints.imtlucca.it/id/eprint/129 |

### Actions (login required)

Edit Item |