Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo. Two Implementation Relations and the Correctness of Communicating Replicated Processes. Formal Asp. Comput., 9(2):119-148, 1997.
@article{KoutnyMP97,
title = {Two Implementation Relations and the Correctness of Communicating Replicated Processes},
author = {Maciej Koutny and Luigi V. Mancini and Giuseppe Pappalardo},
year = {1997},
researchr = {https://researchr.org/publication/KoutnyMP97},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {9},
number = {2},
pages = {119-148},
}