Luca Aceto, Rocco De Nicola, Alessandro Fantechi. Testing Equivalences for Event Structures. In Marisa Venturini Zilli, editor, Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24 - October 1, 1986, Proceedings. Volume 280 of Lecture Notes in Computer Science, pages 1-20, Springer, 1986.
No references recorded for this publication.
No citations of this publication recorded.