1.1k citations · 2.1k across the 73 of their papers we have counts for
Showing 2012 · cs.PLShow all
2 papers · 2 filters
cs.PL2012★ 12 cited
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…
cs.PL2012★ 10 cited
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.…