Introduction to Process Algebra W Fokkink Springer, 2000 | 663* | 2000 |
Structural operational semantics L Aceto, W Fokkink, C Verhoef Handbook of Process Algebra, 197-292, 2001 | 419 | 2001 |
μCRL: A toolset for analysing algebraic specifications S Blom, W Fokkink, JF Groote, I van Langevelde, B Lisser, J van de Pol Computer Aided Verification (CAV), 250-254, 2001 | 237 | 2001 |
CIF 3: Model-based engineering of supervisory controllers B van Beek, W Fokkink, D Hendriks, A Hofkamp, J Markovski, ... Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 2014 | 124 | 2014 |
Distributed Algorithms: An Intuitive Approach W Fokkink MIT Press, 2013 | 122 | 2013 |
Modelling Distributed Systems W Fokkink Springer, 2007 | 102 | 2007 |
Basic process algebra with iteration: Completeness of its equational axioms W Fokkink, H Zantema The Computer Journal 37 (4), 259-267, 1994 | 97 | 1994 |
Ntyft/ntyxt rules reduce to ntree rules W Fokkink, R van Glabbeek Information and Computation 126 (1), 1-10, 1996 | 95 | 1996 |
Precongruence formats for decorated trace semantics B Bloom, W Fokkink, R van Glabbeek ACM Transactions on Computational Logic 5 (1), 26-78, 2004 | 80 | 2004 |
Some trends in formal methods applications to railway signaling A Fantechi, W Fokkink, A Morzenti Formal Methods for Industrial Critical Systems: A Survey of Applications, 63-84, 2013 | 75 | 2013 |
Mean-field analysis for the evaluation of gossip protocols R Bakhshi, L Cloth, W Fokkink, B Haverkort Quantitative Evaluation of Systems (QEST), 247-256, 2009 | 71 | 2009 |
A conservative look at operational semantics with variable binding W Fokkink, C Verhoef Information and Computation 146 (1), 24-54, 1998 | 68 | 1998 |
Axiomatizing prefix iteration with silent steps L Aceto, W Fokkink, R van Glabbeek, A Ingólfsdóttir Information and Computation 127 (1), 26-40, 1996 | 64 | 1996 |
Rooted branching bisimulation as a congruence W Fokkink Journal of Computer and System Sciences 60 (1), 13-37, 2000 | 61 | 2000 |
Verification of interlockings: From control tables to ladder logic diagrams W Fokkink, P Hollingshead Formal Methods for Industrial Critical Systems (FMICS), 171-185, 1998 | 61 | 1998 |
Executing multicellular differentiation: Quantitative predictive modelling of C. elegans vulval development N Bonzanni, E Krepska, KA Feenstra, W Fokkink, T Kielmann, H Bal, ... Bioinformatics 25 (16), 2049-2056, 2009 | 60 | 2009 |
Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM W Fokkink, J Pang Journal of Universal Computer Science 12 (8), 981-1006, 2006 | 60* | 2006 |
Restricted broadcast process theory F Ghassemi, W Fokkink, A Movaghar Software Engineering and Formal Methods (SEFM), 345-354, 2008 | 59 | 2008 |
Analyzing a χ model of a turntable system using Spin, CADP and Uppaal E Bortnik, N Trčka, A Wijs, B Luttik, JM van de Mortel-Fronczak, J Baeten, ... Journal of Logic and Algebraic Programming 65 (2), 51-104, 2005 | 57 | 2005 |
Verification of a sliding window protocol in μCRL and PVS B Badban, W Fokkink, JF Groote, J Pang, J van de Pol Formal Aspects of Computing 17 (3), 342-388, 2005 | 57 | 2005 |