Retractable Contracts
In calculi for modelling communication protocols, internal and external choices play dual roles. Two external choices can be viewed naturally as dual too, as they represent an agreement between the communicating parties. If the interaction fails, the past agreements are good candidates as points wh...
| Κύριοι συγγραφείς: | , , , |
|---|---|
| Μορφή: | Άρθρο |
| Γλώσσα: | English |
| Έκδοση: |
Open Publishing Association
2016-02-01
|
| Σειρά: | Electronic Proceedings in Theoretical Computer Science |
| Διαθέσιμο Online: | http://arxiv.org/pdf/1602.03595v1 |