Search

• < Previous
• 1
• Next >

Retractability, games and orchestrators for session contracts

Session contracts is a formalism enabling to investigate client/server interaction protocols and to interpret session types. We extend session contracts in order to represent outputs whose actual sending in an interaction depends on a third party or on a mutual agreement between the partners. Such&nbsp;[&hellip;]