A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
Asynchronous session subtyping as communicating automata refinement
2021
Journal of Software and Systems Modeling
AbstractWe study the relationship between session types and behavioural contracts, representing Communicating Finite State Machines (CFSMs), under the assumption that processes communicate asynchronously. Session types represent a syntax-based approach for the description of communication protocols, while behavioural contracts, formally expressing CFSMs, follow an operational approach. We show the existence of a fully abstract interpretation of session types into a fragment of contracts that
doi:10.1007/s10270-020-00838-x
fatcat:whytw3uuvzfr3of3u7qg5xcwlm