Wan Fokkink
Wan Fokkink
Professor of Computer Science, Vrije Universiteit Amsterdam
Verifierad e-postadress på vu.nl - Startsida
TitelCiteras avÅr
Introduction to Process Algebra
W Fokkink
Springer, 2000
503*2000
Structural operational semantics
L Aceto, W Fokkink, C Verhoef
Handbook of Process Algebra, 197-292, 2001
3572001
μ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
2202001
Ntyft/ntyxt rules reduce to ntree rules
W Fokkink, R van Glabbeek
Information and Computation 126 (1), 1-10, 1996
901996
Basic process algebra with iteration: Completeness of its equational axioms
W Fokkink, H Zantema
The Computer Journal 37 (4), 259-267, 1994
801994
A conservative look at operational semantics with variable binding
W Fokkink, C Verhoef
Information and Computation 146 (1), 24-54, 1998
77*1998
Modelling Distributed Systems
W Fokkink
Springer, 2007
742007
Precongruence formats for decorated trace semantics
B Bloom, W Fokkink, R van Glabbeek
ACM Transactions on Computational Logic 5 (1), 26-78, 2004
702004
Lazy rewriting on eager machinery
W Fokkink, J Kamperman, P Walters
ACM Transactions on Programming Languages and Systems 22 (1), 45-86, 2000
66*2000
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
652009
Distributed Algorithms: An Intuitive Approach
W Fokkink
MIT Press, 2013
592013
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
562005
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
551996
HipG: parallel processing of large-scale graphs
E Krepska, T Kielmann, W Fokkink, H Bal
ACM SIGOPS Operating Systems Review 45 (2), 3-13, 2011
54*2011
Restricted broadcast process theory
F Ghassemi, W Fokkink, A Movaghar
Software Engineering and Formal Methods (SEFM), 345-354, 2008
542008
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
532009
Verifying a sliding window protocol in μCRL
W Fokkink, JF Groote, J Pang, B Badban, J van de Pol
Algebraic Methodology and Software Technology (AMAST), 148-163, 2004
532004
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
52*2006
Compositionality of Hennessy-Milner logic by structural operational semantics
W Fokkink, R van Glabbeek, P de Wind
Theoretical Computer Science 354 (3), 421-440, 2006
50*2006
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
492005
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20