Relating Session Types and Behavioural Contracts: the Asynchronous Case
Abstract
We discuss the relationship between session types and be-havioural contracts under the assumption that processes communicate asynchronously. We show the existence of a fully abstract interpretation of session types into a fragment of contracts, that maps session subtyping into binary compliance-preserving contract refinement. In this way, the recent undecidability result for asynchronous session subtyping can be used to obtain an original undecidability result for asynchronous contract refinement.
Domains
Computation and Language [cs.CL]
Origin : Files produced by the author(s)
Loading...