A model of actors and grey failures

Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea

Research output: Contribution to journal › Article › peer-review

Original language	English
Journal	Logical Methods in Computer Science
Volume	19
Issue number	4
DOIs	https://doi.org/10.46298/lmcs-19(4:13)2023
Publication status	Published - 22 Nov 2023

Access to Document

@article{9fc36439c89548eaa5be7b8c324d624b,

title = "A model of actors and grey failures",

author = "Laura Bocchi and Julien Lange and Simon Thompson and Voinea, {A. Laura}",

year = "2023",

month = nov,

day = "22",

doi = "10.46298/lmcs-19(4:13)2023",

language = "English",

volume = "19",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "Technischen Universitat Braunschweig",

number = "4",

}