102 citations · 226 across the 18 of their papers we have counts for
Showing 2012 · cs.PLShow all
2 papers · 2 filters
cs.PL2012★ 102 cited
On Global Types and Multi-Party Session
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani
Global types are formal specifications that describe communication protocols in terms of their global interactions. We present a new, streamlined language of global types equipped…
cs.PL2012★ 25 cited
Typing Copyless Message Passing
Viviana Bono, Luca Padovani
We present a calculus that models a form of process interaction based on copyless message passing, in the style of Singularity OS. The calculus is equipped with a type system ensur…