zweidimensionales bewegtes Bild
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
- Standort
-
Hannover TIB
- Umfang
-
24MB, 00:17:00:02 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
29th European Symposium on Programming, ESOP 2020 ; (Jan. 2021)
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Jongmans, Sung-Shik
Yoshida, Nobuko
- DOI
-
10.5446/54929
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Jongmans, Sung-Shik
- Yoshida, Nobuko
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Exploring Audiovisual Support Systems for In-Car Multiparty Conferencing
Nested Session Types
Gradual session types
Gradual session types
Label-dependent session types
Mixed choice in session types
Everlasting Multi-party Computation
Relating functional and imperative session types
Coalition preferences in multiparty systems
Coalition preferences in multiparty systems
Reasoning voters in multiparty systems
Multiparty Protocols for Tree Classifiers
Exploring Audiovisual Support Systems for In-Car Multiparty Conferencing
Nested Session Types
Gradual session types
Gradual session types
Label-dependent session types
Mixed choice in session types
Everlasting Multi-party Computation
Relating functional and imperative session types
Coalition preferences in multiparty systems
Coalition preferences in multiparty systems
Reasoning voters in multiparty systems
Multiparty Protocols for Tree Classifiers
Exploring Audiovisual Support Systems for In-Car Multiparty Conferencing
Nested Session Types
Gradual session types
Gradual session types
Label-dependent session types
Mixed choice in session types
Everlasting Multi-party Computation
Relating functional and imperative session types
Coalition preferences in multiparty systems
Coalition preferences in multiparty systems
Reasoning voters in multiparty systems