Mathematical Foundations of Computer Science 1996: 21st ...
Wojciech Penczek
[1] Luca Aceto. History preserving, causal and mixed-ordering equivalences over stable event structures. Fundamenta Informaticae, 17, 1992. [2] Luca Aceto, Rocco De Nicola, and A. Fantechi. Testing equivalences for event structures.