DOTTI, Fernando Luís; RIBEIRO, Leila.
Modeling Communication Semantics for Distributed Systems in Event-B. In: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 13. , 2012, Ouro Preto/MG.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2012
.
p. 101-114.
ISSN 2595-2684.
DOI: https://doi.org/10.5753/wtf.2012.23083.