Testing Equivalences for Event Structures

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.

Abstract

Abstract is missing.