Asynchronous timed session types: from duality to time-sensitive processes (2019)

First Author: Laura Bocchi
Attributed to:  Time-sensitive protocol design and implementation funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract

Volume: 11423