38 citations · 67 across the 16 of their papers we have counts for
3 papers · 2 filters
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version)
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
Type-preserving translations are effective rigorous tools in the study of core programming calculi. In this paper, we develop a new typed translation that connects sequential and c…
Minimal Session Types for the -calculus (Extended Version)
Alen Arslanagic, Jorge A. Pérez, Anda-Amelia Palamariuc
Session types are a discipline for the static verification of message-passing programs. A session type specifies a channel's protocol as sequences of exchanges. It is most relevant…
A Decentralized Analysis of Multiparty Protocols
Bas van den Heuvel, Jorge A. Pérez
Protocols provide the unifying glue in concurrent and distributed software today; verifying that message-passing programs conform to such governing protocols is important but diffi…