Two Implementation Relations and the Correctness of Communicating Replicated Processes (1997)
Author(s): Koutny M, Mancini LV, Pappalardo G
- Journal: Formal Aspects of Computing
- Volume: 9
- Issue: 2
- Pages: 119-148
- Publisher: Springer UK
- Publication type: Article
- Bibliographic status: Published