Alles van: W.J. Fokkink
Resultaat 1 - 20 (van 31)
T. Chen | W.J. Fokkink On the axiomatizability of impossible futures
preorder versus equivalence
Non-fictie
Engels | 21 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2008
Gedrukt boek
W.J. Fokkink Deze tijd heeft behoefte aan verificatie van software
thee oor ree ties ze inf or ma ti-ka
Non-fictie
Nederlands | 16 pagina's | Vrije Universiteit, [Faculteit der Exacte Wetenschappen], Amsterdam | 2007
Gedrukt boek
W.J. Fokkink | J. Pang Simplifying Itai-Rodeh leader election for anonymous rings
Non-fictie
Engels | 25 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2004
Gedrukt boek
A.J. Wijs | W.J. Fokkink From timed Xt to uCRL: combining performance and functional analysis
Non-fictie
Engels | 24 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2004
Gedrukt boek
W.J. Fokkink | J.F. Groote | M.A. Reniers Process algebra needs proof methodology
Non-fictie
Engels | Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, Eindhoven | 2004
Gedrukt boek
W.J. Fokkink | J.-H. Hoepman | J. Pang A note on K-state self-stabilization in a ring with K=N
Non-fictie
Engels | 9 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 2004
Gedrukt boek
W.J. Fokkink | J. Pang Cones and foci for protocol verification revisited
Non-fictie
Engels | 17 pagina's | CWI, Centrum voor Wiskunde en Informatica, Amsterdam | 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
W.J. Fokkink | J.F.Th. Kamperman | H.R. Walters Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
Non-fictie
Engels | 30 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1997
Gedrukt boek
W.J. Fokkink | J.C. van de Pol Correct transformation of rewrite systems for implementation purposes
Non-fictie
Engels | 16 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
W.J. Fokkink | H. Zantema Termination modulo equations by abstract commutation with an application to iteration
Non-fictie
Engels | 17 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
W.J. Fokkink An axiomatization for the terminal cycle
Non-fictie
Engels | 23 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
J.A. Bergstra | W.J. Fokkink | C.A. Middelburg A logic for signal inserted timed frames
Non-fictie
Engels | 18 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1996
Gedrukt boek
W.J. Fokkink | C. Verhoef A conservative look at term deduction systems with variable binding
Non-fictie
Engels | 29 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
W.J. Fokkink | H. Zantema A complete equational axiomatization for BPAde with prefix iteration
Non-fictie
Engels | 5 pagina's | Department of Computer Science, Utrecht University, Utrecht | 1995
Gedrukt boek
W.J. Fokkink | R.J. van Glabbeek Ntyft/ntyxt rules reduce to ntree rules
Non-fictie
Engels | 16 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek
W.J. Fokkink A complete axiomatization for prefix iteration in branching bisimulation
Non-fictie
Engels | 12 pagina's | Utrecht University, Utrecht | 1995
Gedrukt boek
W.J. Fokkink On the completeness of the equations for the Kleene star in bisimulation
Non-fictie
Engels | 15 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
W.J. Fokkink Safety criteria for Hoorn-Kersenboogerd railway station
Non-fictie
Engels | 16 pagina's | Department of Philosophy, Utrecht University, Utrecht | 1995
Gedrukt boek
W.J. Fokkink | A.S. Klusener An effective axiomatization for real time ACP
Non-fictie
Engels | 26 pagina's | Centrum voor Wiskunde en Informatica, Amsterdam | 1995
Gedrukt boek