Duality of session types: the final cut
Abstract: Duality is a central concept in the theory of session types. Since a flaw was found in the original definition of duality for recursive types, several other definitions have been published. As their connection is not obvious, we compare the competing definitions, discuss tradeoffs, and prove some equivalences. Some of the results are mechanized in Agda
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software. - Waterloo, NSW : Balzer, Stephanie (Hrsg.), 2020. - 23-33, DOI: 10.4204/EPTCS.314
- Ereignis
-
Veröffentlichung
- (wo)
-
Freiburg
- (wer)
-
Universität
- (wann)
-
2021
- Urheber
- DOI
-
10.4204/EPTCS.314.3
- URN
-
urn:nbn:de:bsz:25-freidok-2193336
- Rechteinformation
-
Kein Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:58 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Gay, Simon
- Thiemann, Peter
- Vasconcelos, Vasco
- Universität
Entstanden
- 2021
Ähnliche Objekte (12)
Final Cut Pro X
Gradual session types
Gradual session types
Nested Session Types
Cut It Out, Komplette Session
The final cut: Route 66
Label-dependent session types
Final Session
Mixed choice in session types
Final Cut Pro X : das umfassende Handbuch
Final Cut Express : einfach gute Filme schneiden
Final Cut Pro 7 : professionelle Videoproduktion mit dem neuen Final Cut Studio ; [DVD-ROM mit attraktivem HD-Videomaterial]
Final Cut Pro X
Gradual session types
Gradual session types
Nested Session Types
Cut It Out, Komplette Session
The final cut: Route 66
Label-dependent session types
Final Session
Mixed choice in session types
Final Cut Pro X : das umfassende Handbuch
Final Cut Express : einfach gute Filme schneiden
Final Cut Pro 7 : professionelle Videoproduktion mit dem neuen Final Cut Studio ; [DVD-ROM mit attraktivem HD-Videomaterial]
Final Cut Pro X
Gradual session types
Gradual session types
Nested Session Types
Cut It Out, Komplette Session
The final cut: Route 66
Label-dependent session types
Final Session
Mixed choice in session types
Final Cut Pro X : das umfassende Handbuch
Final Cut Express : einfach gute Filme schneiden