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.

Authors

Luca Aceto

This author has not been identified. It may be one of the following persons: Look up 'Luca Aceto' in Google

Rocco De Nicola

This author has not been identified. Look up 'Rocco De Nicola' in Google

Alessandro Fantechi

This author has not been identified. Look up 'Alessandro Fantechi' in Google