Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Link opens in a new tab
Dansk
English
Search content at IT-University of Copenhagen
Home
Organisation
Researchers
Projects
Publications
Datasets
Press/Media
Activities
Prizes
Representing Session Types
Peter Brottveit Bock
, Agata Murawska
,
Alessandro Bruni
,
Carsten Schürmann
Programming Logic and Semantics
Research output
:
Other contribution
›
Research
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Representing Session Types'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Session Types
100%
Operational Semantics
100%
Calculus
50%
Metalanguage
50%
Network Routing
50%
Liveness
50%
Language-based
50%
Logical Foundations
50%
Global Types
50%
Multiparty Communication
50%
Deadlock-freeness
50%
Computer Science
Operational Semantics
100%
Deadlock
50%
Liveness
50%