S.P. Luttik Complete axiomatisations of weak-, delay- and →ē⇋-bisimulation for process algebras with alternative quantification over data
Gedrukt boek
Gedrukt boek
Dit boek kun je niet aanvragen, maar wel inzien. Het ligt ter inzage op de volgende locatie:
Koninklijke Bibliotheek