Search

• < Previous
• 1
• Next >

---

Honesty by Typing

Massimo Bartoletti ; Alceste Scalas ; Emilio Tuosto ; Roberto Zunino.

We propose a type system for a calculus of contracting processes. Processes can establish sessions by stipulating contracts, and then can interact either by keeping the promises made, or not. Type safety guarantees that a typeable process is honest - that is, it abides by the contracts it has&nbsp;[&hellip;]

---

On the Preciseness of Subtyping in Session Types

Tzu-chun Chen ; Mariangiola Dezani-Ciancaglini ; Alceste Scalas ; Nobuko Yoshida.

Subtyping in concurrency has been extensively studied since early 1990s as one of the most interesting issues in type theory. The correctness of subtyping relations has been usually provided as the soundness for type safety. The converse direction, the completeness, has been largely ignored in spite&nbsp;[&hellip;]

---