TY  - RPRT
TI  - Validating Labelled State Transition and Message Production Systems: A Theory for Modelling Faulty Distributed Systems
AU  - Vlad Zamfir
AU  - Mihai Calancea
AU  - Denisa Diaconescu
AU  - Wojciech Kołowski
AU  - Brandon Moore
AU  - Karl Palmskog
AU  - Traian Florin Şerbănuţă
AU  - Michael Stay
AU  - Dafina Trufaş
AU  - Jan Tušil
PY  - 2023
UR  - https://arxiv.org/abs/2202.12662
ID  - 2202.12662
ER  -