Testing Equivalences for Event Structures

• Authors:

• Luca Aceto;Rocco De Nicola;Alessandro Fantechi

• Affiliations:

• -;-;-

• Venue:
• Proceedings on Mathematical Models for the Semantics of Parallelism
• Year:
• 1986