Structural testing for communication events into loops of message-passing parallel programs
Silvia Margarita Diaz Diaz Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza
Concurrency and Computation: Practice and Experience Oxford : Wiley v. 33, p. 1-18, 2021
Oxford 2021
Localização:
ICMC - Inst. Ciên. Mat. Computação
(PROD-3018875 )(Acessar)