12 citations · 17 across the 5 of their papers we have counts for
5 papers
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…
Anticipation of Method Execution in Mixed Consistency Systems -- Technical Report
Marco Giunti, Hervé Paulino, António Ravara
Distributed applications often deal with data with different consistency requirements: while a post in a social network only requires weak consistency, the user balance in turn has…
Unlocking Blocked Communicating Processes
Adrian Francalanza, Marco Giunti, António Ravara
We study the problem of disentangling locked processes via code refactoring. We identify and characterise a class of processes that is not lock-free; then we formalise an algorithm…
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 type checking algorithm for qualified session types
Marco Giunti
We present a type checking algorithm for establishing a session-based discipline in the pi calculus of Milner, Parrow and Walker. Our session types are qualified as linear or unres…