12 citations · 14 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025★ 2 cited
Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
Marco Giunti, Nobuko Yoshida
Most works on session types take an equi-recursive approach and do not distinguish among a recursive type and its unfolding. This becomes more important in recent type systems whic…
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…