Modeling Fresh Names in the π-calculus Using Abstractions (2004)
| Citations: | 1 - 0 self |
BibTeX
@MISC{Bruni04modelingfresh,
author = {Roberto Bruni and Furio Honsell and Marina Lenisa and Marino Miculan},
title = {Modeling Fresh Names in the π-calculus Using Abstractions},
year = {2004}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper, we model fresh names in the #-calculus using abstractions with respect to a new binding operator #. Both the theory and the metatheory of the #-calculus benefit from this simple extension. The operational semantics of this new calculus is finitely branching. Bisimulation can be given without mentioning any constraint on names, thus allowing for a straightforward definition of a coalgebraic semantics, within a category of coalgebras over permutation algebras. Following previous work by Montanari and Pistore, we present also a finite representation for finitary processes and a finite state verification procedure for bisimilarity, based on the new notion of #-automaton.
