Alles van: S.P. Luttik
Resultaat 1 - 8 (van 8)
S.P. Luttik | V. van Oostrom Decomposition orders - another generalisation of the fundamental theorem of arithemetic
Non-fictie
Engels | 36 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2004
Gedrukt boek
S.P. Luttik Choice quantification in process algebra
Non-fictie
Engels | 159 pagina's | 2002
Gedrukt boek
W.J. Fokkink | S.P. Luttik An →ō⇋-complete equational specification of interleaving
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 2000
Gedrukt boek
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
J.F. Groote | S.P. Luttik Undecidability and completeness results for process algebras with alternative quantification over data
Non-fictie
Engels | 21 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
J.F. Groote | S.P. Luttik A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data
Non-fictie
Engels | 12 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1998
Gedrukt boek
S.P. Luttik Description and formal specification of the link layer of P1394
Non-fictie
Engels | 18 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1997
Gedrukt boek