A Survey of Equivalence Notions for Net Based Systems, (1992)

by L Pomello, G Rozenberg, C Simone
Venue:Lecture Notes in Computer Sciences,