A MODEL OF ACTORS AND GREY FAILURES (2023)

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

Abstract

No abstract provided

Bibliographic Information

Type: Journal Article/Review

Volume: 19

Parent Publication: LOGICAL METHODS IN COMPUTER SCIENCE

Issue: 4

ISSN: 1860-5974