Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
!!Link opens in a new tab
Dansk
English
Søg efter indhold i IT-Universitetet i København
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Presse/medier
Aktiviteter
Priser
Representing Session Types
Peter Brottveit Bock
, Agata Murawska
,
Alessandro Bruni
,
Carsten Schürmann
Programming Logic and Semantics
Publikation
:
Andet
›
Andet bidrag
›
Forskning
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Representing Session Types'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Keyphrases
Calculus
50%
Deadlock-freeness
50%
Global Types
50%
Language-based
50%
Liveness
50%
Logical Foundations
50%
Metalanguage
50%
Multiparty Communication
50%
Network Routing
50%
Operational Semantics
100%
Session Types
100%
Computer Science
Deadlock
50%
Liveness
50%
Operational Semantics
100%