Zoekresultaten
Resultaat 1 - 2 (van 2)
S.P. Luttik Cylindric process algebras with conditionals give substitutionless pCRL
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1999
Gedrukt boek
S.P. Luttik Complete axiomatisations of weak-, delay- and →ē⇋-bisimulation for process algebras with alternative quantification over data
Non-fictie
Engels | 10 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1999
Gedrukt boek