1.1k citations · 2.1k across the 73 of their papers we have counts for
5 papers · 1 filter
Hide and New in the Pi-Calculus
Marco Giunti, Catuscia Palamidessi, Frank D. Valencia
In this paper, we enrich the pi-calculus with an operator for confidentiality (hide), whose main effect is to restrict the access to the object of the communication, thus represent…
A non-local method for robustness analysis of floating point programs
Ivan Gazeau, Dale Miller, Catuscia Palamidessi
Robustness is a standard correctness property which intuitively means that if the input to the program changes less than a fixed small amount then the output changes only slightly.…
On the generalized dining philosophers problem
Oltea Mihaela Herescu, Catuscia Palamidessi
We consider a generalization of the dining philosophers problem to arbitrary connection topologies. We focus on symmetric, fully distributed systems, and we address the problem of…
Probabilistic asynchronous pi-calculus
Oltea Mihaela Herescu, Catuscia Palamidessi
We propose an extension of the asynchronous pi-calculus with a notion of random choice. We define an operational semantics which distinguishes between probabilistic choice, made in…
Comparing the expressive power of the Synchronous and the Asynchronous pi-calculus
Catuscia Palamidessi
The Asynchronous pi-calculus, as recently proposed by Boudol and, independently, by Honda and Tokoro, is a subset of the pi-calculus which contains no explicit operators for choice…