Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372) (2022)

First Author: Dezani M
Attributed to:  Session Types for Reliable Distributed Systems (STARDUST) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.4230/dagrep.11.8.52

Publication URI: https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.8.52

Type: Report

Volume: 11

Parent Publication: Dagstuhl Reports (DagRep)

Issue: 8