Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

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 ensuring that well-typed processes are free from memory faults, memory leaks, and communication errors. The type system is&nbsp;[&hellip;]
Published on March 2, 2012
Volume 8, Issue 1

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 with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessions&nbsp;[&hellip;]
Published on March 15, 2012
Volume 8, Issue 1
  • < Previous
  • 1
  • Next >