?url_ver=Z39.88-2004&rft_id=10.1007%2F3-540-18419-8_9&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Aceto%2C+Luca&rft.aufirst=Luca&rft.aulast=Aceto&rft.date=1986&rft.btitle=Mathematical+Models+for+the+Semantics+of+Parallelism&rft.title=Testing+Equivalences+for+Event+Structures&rft.isbn=3-540-18419-8&rft.genre=bookitem