Fokkink, Willem Jan (1965-)

A logic for signal inserted timed frames / J. Bergstra, W. Fokkink, K. Middelburgschema:ProductModel A reference model for teleconferencing systems / C. Bonini, W.J. Fokkink, A. Leschschema:ProductModel Algebra of timed frames / J.A. Bergstra, W.J. Fokkink, C.A. Middelburgschema:ProductModel From timed Xt to uCRL: combining performance and functional analysis / A.J. Wijs, W.J. Fokkinkschema:ProductModel On the axiomatizability of impossible futures : preorder versus equivalence / T. Chen, W.J. Fokkinkschema:ProductModel Verifying a sliding window protocol in mCRL / W.J. Fokkink ... [et al.]schema:ProductModel

A complete axiomatization for prefix iteration in branching bisimulation / W.J. Fokkinkschema:ProductModel A complete equational axiomatisation for prefix iteration / W.J. Fokkinkschema:ProductModel A complete equational axiomatization for BPAde with prefix iteration / W. Fokkink and H. Zantemaschema:ProductModel A conservative look at term deduction systems with variable binding / by Wan Fokkink and Chris Verhoefschema:ProductModel A conservative look at term deduction systems with variable binding / W. Fokkink, C. Verhoefschema:ProductModel A note on K-state self-stabilization in a ring with K=N / Wan Fokkink, Jaap-Henk Hoepman, Jun Pangschema:ProductModel A simple specification language combining processes, time and data / W.J. Fokkinkschema:ProductModel An axiomatization for the terminal cycle / W. Fokkinkschema:ProductModel An effective axiomatization for real time ACP / W.J. Fokkink, A.S. Klusenerschema:ProductModel An →ō⇋-complete equational specification of interleaving / W.J. Fokkink, S.P. Luttikschema:ProductModel Basic process algebra with iteration : completeness of its equational axioms / W.J. Fokkink and H. Zantemaschema:ProductModel Basic process algebra with iteration : completeness of its equational axioms / W.J. Fokkink, H. Zantemaschema:ProductModel Clocks, trees and stars in process theory / Willem Jan Fokkinkschema:ProductModel Clocks, trees and stars in process theory / Willem Jan Fokkinkschema:ProductModel Cones and foci for protocol verification revisited / W.J. Fokkink, J. Pangschema:ProductModel Correct transformation of rewrite systems for implementation purposes / W. Fokkink, J.C. van de Polschema:ProductModel Deze tijd heeft behoefte aan verificatie van software : thee oor ree ties ze inf or ma ti-ka / W.J. Fokkinkschema:ProductModel Idempotent most general unifiers for infinite sets / W.J. Fokkinkschema:ProductModel Normal forms in real time process algebra / W.J. Fokkinkschema:ProductModel Ntyft/ntyxt rules reduce to ntree rules / W.J. Fokkink, R.J. van Glabbeekschema:ProductModel ... show all 29