A Typing Result for Stateful Protocols - Extended Version

Research output: Book/ReportReportResearchpeer-review

81 Downloads (Pure)

Fingerprint

Dive into the research topics of 'A Typing Result for Stateful Protocols - Extended Version'. Together they form a unique fingerprint.