@inproceedings{ChenFN06,
  title = {On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation},
  author = {Taolue Chen and Wan Fokkink and Sumit Nain},
  year = {2006},
  doi = {10.1007/11690634_1},
  url = {http://dx.doi.org/10.1007/11690634_1},
  tags = {completeness},
  researchr = {https://researchr.org/publication/ChenFN06},
  cites = {0},
  citedby = {0},
  pages = {1-15},
  booktitle = {fossacs},
}

@article{ChenFG08,
  title = {Ready to preorder: The case of weak process semantics},
  author = {Taolue Chen and Wan Fokkink and Rob J. van Glabbeek},
  year = {2008},
  doi = {10.1016/j.ipl.2008.09.003},
  url = {http://dx.doi.org/10.1016/j.ipl.2008.09.003},
  tags = {semantics},
  researchr = {https://researchr.org/publication/ChenFG08},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {109},
  number = {2},
  pages = {104-111},
}

@article{Fokkink94:0,
  title = {A Complete Equational Axiomatization for Prefix Iteration},
  author = {Wan Fokkink},
  year = {1994},
  tags = {completeness},
  researchr = {https://researchr.org/publication/Fokkink94%3A0},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {52},
  number = {6},
  pages = {333-337},
}

@article{BakhshiBFH07,
  title = {Formal analysis techniques for gossiping protocols},
  author = {Rena Bakhshi and François Bonnet and Wan Fokkink and Boudewijn R. Haverkort},
  year = {2007},
  doi = {10.1145/1317379.1317385},
  url = {http://doi.acm.org/10.1145/1317379.1317385},
  tags = {protocol, analysis},
  researchr = {https://researchr.org/publication/BakhshiBFH07},
  cites = {0},
  citedby = {0},
  journal = {sigops},
  volume = {41},
  number = {5},
  pages = {28-36},
}

@article{AcetoBFG08,
  title = {Guest Editors  Foreword},
  author = {Luca Aceto and Mario Bravetti and Wan Fokkink and Andrew D. Gordon},
  year = {2008},
  doi = {10.1016/j.jlap.2007.06.001},
  url = {http://dx.doi.org/10.1016/j.jlap.2007.06.001},
  researchr = {https://researchr.org/publication/AcetoBFG08},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {75},
  number = {1},
  pages = {1-2},
}

@article{abs-0810-4904,
  title = {On Finite Bases for Weak Semantics: Failures versus Impossible Futures},
  author = {Taolue Chen and Wan Fokkink and Rob J. van Glabbeek},
  year = {2008},
  url = {http://arxiv.org/abs/0810.4904},
  tags = {semantics},
  researchr = {https://researchr.org/publication/abs-0810-4904},
  cites = {0},
  citedby = {0},
  journal = {corr},
  volume = {abs/0810.4904},
}

@article{ArtsF03,
  title = {Preface},
  author = {Thomas Arts and Wan Fokkink},
  year = {2003},
  url = {http://www1.elsevier.com/gej-ng/31/29/23/137/23/show/Products/notes/index.htt#001},
  researchr = {https://researchr.org/publication/ArtsF03},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {80},
  pages = {310-311},
}

@article{AcetoFI03,
  title = {A note on an expressiveness hierarchy for multi-exit iteration},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir},
  year = {2003},
  doi = {10.1016/S0020-0190(03)00234-5},
  url = {http://dx.doi.org/10.1016/S0020-0190(03)00234-5},
  researchr = {https://researchr.org/publication/AcetoFI03},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {87},
  number = {1},
  pages = {17-23},
}

@article{BonzanniKFFKBH09a,
  title = {Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development},
  author = {Nicola Bonzanni and Elzbieta Krepska and K. Anton Feenstra and Wan Fokkink and Thilo Kielmann and Henri E. Bal and Jaap Heringa},
  year = {2009},
  doi = {10.1093/bioinformatics/btp509},
  url = {http://dx.doi.org/10.1093/bioinformatics/btp509},
  tags = {meta-model, model-driven development, Meta-Environment},
  researchr = {https://researchr.org/publication/BonzanniKFFKBH09a},
  cites = {0},
  citedby = {0},
  journal = {bioinformatics},
  volume = {25},
  number = {19},
  pages = {2624},
}

@article{AcetoFI98:1,
  title = {A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir},
  year = {1998},
  tags = {semantics, rule-based, completeness},
  researchr = {https://researchr.org/publication/AcetoFI98%3A1},
  cites = {0},
  citedby = {0},
  journal = {mscs},
  volume = {8},
  number = {3},
  pages = {193-230},
}

@inproceedings{GhassemiFM08,
  title = {Restricted Broadcast Process Theory},
  author = {Fatemeh Ghassemi and Wan Fokkink and Ali Movaghar},
  year = {2008},
  doi = {10.1109/SEFM.2008.25},
  url = {http://dx.doi.org/10.1109/SEFM.2008.25},
  researchr = {https://researchr.org/publication/GhassemiFM08},
  cites = {0},
  citedby = {0},
  pages = {345-354},
  booktitle = {SEFM},
}

@article{FokkinkG96,
  title = {Ntyft/Ntyxt Rules Reduce to Ntree Rules},
  author = {Wan Fokkink and Rob J. van Glabbeek},
  year = {1996},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/FokkinkG96},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {126},
  number = {1},
  pages = {1-10},
}

@article{AcetoFIL05:1,
  title = {CCS with Hennessy s merge has no finite-equational axiomatization},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik},
  year = {2005},
  doi = {10.1016/j.tcs.2004.10.003},
  url = {http://dx.doi.org/10.1016/j.tcs.2004.10.003},
  researchr = {https://researchr.org/publication/AcetoFIL05%3A1},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {330},
  number = {3},
  pages = {377-405},
}

@article{BortnikTWLMBFR05,
  title = {Analyzing a ::::chi:::: model of a turntable system using Spin, CADP and Uppaal},
  author = {E. M. Bortnik and Nikola Trcka and Anton Wijs and Bas Luttik and J. M. van de Mortel-Fronczak and Jos C. M. Baeten and Wan Fokkink and J. E. Rooda},
  year = {2005},
  doi = {10.1016/j.jlap.2005.05.001},
  url = {http://dx.doi.org/10.1016/j.jlap.2005.05.001},
  tags = {C++, e-science},
  researchr = {https://researchr.org/publication/BortnikTWLMBFR05},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {65},
  number = {2},
  pages = {51-104},
}

@article{AcetoF97,
  title = {An Equational Axiomatization for Multi-Exit Iteration},
  author = {Luca Aceto and Wan Fokkink},
  year = {1997},
  researchr = {https://researchr.org/publication/AcetoF97},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {137},
  number = {2},
  pages = {121-158},
}

@inproceedings{BakhshiFPP08,
  title = {Leader Election in Anonymous Rings: Franklin Goes Probabilistic},
  author = {Rena Bakhshi and Wan Fokkink and Jun Pang and Jaco van de Pol},
  year = {2008},
  doi = {10.1007/978-0-387-09680-3_4},
  url = {http://dx.doi.org/10.1007/978-0-387-09680-3_4},
  researchr = {https://researchr.org/publication/BakhshiFPP08},
  cites = {0},
  citedby = {0},
  pages = {57-72},
  booktitle = {ifipTCS},
}

@article{FokkinkP05,
  title = {Simplifying Itai-Rodeh Leader Election for Anonymous Rings},
  author = {Wan Fokkink and Jun Pang},
  year = {2005},
  doi = {10.1016/j.entcs.2005.04.004},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.04.004},
  researchr = {https://researchr.org/publication/FokkinkP05},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {128},
  number = {6},
  pages = {53-68},
}

@article{FokkinkK95,
  title = {An Effective Axiomatization for Real Time ACP},
  author = {Wan Fokkink and Steven Klusener},
  year = {1995},
  researchr = {https://researchr.org/publication/FokkinkK95},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {122},
  number = {2},
  pages = {286-299},
}

@article{AcetoFIL05,
  title = {Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy s merge},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik},
  year = {2005},
  doi = {10.2168/LMCS-1(1:3)2005},
  url = {http://dx.doi.org/10.2168/LMCS-1(1:3)2005},
  researchr = {https://researchr.org/publication/AcetoFIL05},
  cites = {0},
  citedby = {0},
  journal = {lmcs},
  volume = {1},
  number = {1},
}

@article{AcetoFGI04,
  title = {Nested semantics over finite trees are equationally hard},
  author = {Luca Aceto and Wan Fokkink and Rob J. van Glabbeek and Anna Ingólfsdóttir},
  year = {2004},
  doi = {10.1016/j.ic.2004.02.001},
  url = {http://dx.doi.org/10.1016/j.ic.2004.02.001},
  tags = {semantics},
  researchr = {https://researchr.org/publication/AcetoFGI04},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {191},
  number = {2},
  pages = {203-232},
}

@article{AcetoBFG07a,
  title = {Guest Editors  Foreword},
  author = {Luca Aceto and Mario Bravetti and Wan Fokkink and Andrew D. Gordon},
  year = {2007},
  doi = {10.1016/j.jlap.2007.02.001},
  url = {http://dx.doi.org/10.1016/j.jlap.2007.02.001},
  researchr = {https://researchr.org/publication/AcetoBFG07a},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {72},
  number = {1},
  pages = {1-2},
}

@article{FokkinkV03,
  title = {Structural operational semantics and bounded nondeterminism},
  author = {Wan Fokkink and Thuy Duong Vu},
  year = {2003},
  url = {http://www.springerlink.com/openurl.asp?genre=article&issn=0001-5903&volume=39&issue=6&spage=501},
  tags = {semantics,  structural operational semantics, operational semantics},
  researchr = {https://researchr.org/publication/FokkinkV03},
  cites = {0},
  citedby = {0},
  journal = {ACTA},
  volume = {39},
  number = {6-7},
  pages = {501-516},
}

@inproceedings{FokkinkN05,
  title = {A Finite Basis for Failure Semantics},
  author = {Wan Fokkink and Sumit Nain},
  year = {2005},
  doi = {10.1007/11523468_61},
  url = {http://dx.doi.org/10.1007/11523468_61},
  tags = {semantics},
  researchr = {https://researchr.org/publication/FokkinkN05},
  cites = {0},
  citedby = {0},
  pages = {755-765},
  booktitle = {icalp},
}

@article{AcetoFU05,
  title = {Preface},
  author = {Luca Aceto and Wan Fokkink and Irek Ulidowski},
  year = {2005},
  doi = {10.1016/j.entcs.2004.08.053},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.08.053},
  researchr = {https://researchr.org/publication/AcetoFU05},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {128},
  number = {1},
  pages = {1},
}

@inproceedings{AcetoFI98:0,
  title = {A Cook s Tour of Equational Axiomatizations for Prefix Iteration},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1378/13780020.htm},
  researchr = {https://researchr.org/publication/AcetoFI98%3A0},
  cites = {0},
  citedby = {0},
  pages = {20-34},
  booktitle = {fossacs},
}

@inproceedings{ChenF08,
  title = {On the Axiomatizability of Impossible Futures: Preorder versus Equivalence},
  author = {Taolue Chen and Wan Fokkink},
  year = {2008},
  doi = {10.1109/LICS.2008.13},
  url = {http://doi.ieeecomputersociety.org/10.1109/LICS.2008.13},
  researchr = {https://researchr.org/publication/ChenF08},
  cites = {0},
  citedby = {0},
  pages = {156-165},
  booktitle = {lics},
}

@inproceedings{Fokkink09,
  title = {Process Algebra: An Algebraic Theory of Concurrency},
  author = {Wan Fokkink},
  year = {2009},
  doi = {10.1007/978-3-642-03564-7_3},
  url = {http://dx.doi.org/10.1007/978-3-642-03564-7_3},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/Fokkink09},
  cites = {0},
  citedby = {0},
  pages = {47-77},
  booktitle = {cai},
}

@inproceedings{FokkinkGPBP04,
  title = {Verifying a Sliding Window Protocol in µCRL},
  author = {Wan Fokkink and Jan Friso Groote and Jun Pang and Bahareh Badban and Jaco van de Pol},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=148},
  tags = {protocol},
  researchr = {https://researchr.org/publication/FokkinkGPBP04},
  cites = {0},
  citedby = {0},
  pages = {148-163},
  booktitle = {amast},
}

@inproceedings{AcetoCFI06,
  title = {On the Axiomatizability of Priority},
  author = {Luca Aceto and Taolue Chen and Wan Fokkink and Anna Ingólfsdóttir},
  year = {2006},
  doi = {10.1007/11787006_41},
  url = {http://dx.doi.org/10.1007/11787006_41},
  researchr = {https://researchr.org/publication/AcetoCFI06},
  cites = {0},
  citedby = {0},
  pages = {480-491},
  booktitle = {icalp},
}

@article{BadbanFGPP05,
  title = {Verification of a sliding window protocol in µCRL and PVS},
  author = {Bahareh Badban and Wan Fokkink and Jan Friso Groote and Jun Pang and Jaco van de Pol},
  year = {2005},
  doi = {10.1007/s00165-005-0070-0},
  url = {http://dx.doi.org/10.1007/s00165-005-0070-0},
  tags = {protocol},
  researchr = {https://researchr.org/publication/BadbanFGPP05},
  cites = {0},
  citedby = {0},
  journal = {fac},
  volume = {17},
  number = {3},
  pages = {342-388},
}

@article{AcetoF01,
  title = {Preface: Process Algebra},
  author = {Luca Aceto and Wan Fokkink},
  year = {2001},
  doi = {10.1016/S0020-0190(01)00211-3},
  url = {http://dx.doi.org/10.1016/S0020-0190(01)00211-3},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/AcetoF01},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {80},
  number = {1},
  pages = {1},
}

@article{BloomFG04,
  title = {Precongruence formats for decorated trace semantics},
  author = {Bard Bloom and Wan Fokkink and Rob J. van Glabbeek},
  year = {2004},
  doi = {10.1145/963927.963929},
  url = {http://doi.acm.org/10.1145/963927.963929},
  tags = {semantics},
  researchr = {https://researchr.org/publication/BloomFG04},
  cites = {0},
  citedby = {0},
  journal = {tocl},
  volume = {5},
  number = {1},
  pages = {26-78},
}

@article{FokkinkGW06,
  title = {Divide and Congruence Applied to ::::eta::::-Bisimulation},
  author = {Wan Fokkink and Rob J. van Glabbeek and Paulien de Wind},
  year = {2006},
  doi = {10.1016/j.entcs.2005.10.029},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.10.029},
  researchr = {https://researchr.org/publication/FokkinkGW06},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {156},
  number = {1},
  pages = {97-113},
}

@inproceedings{BloomFG00,
  title = {Precongruence Formats for Decorated Trace Preorders},
  author = {Bard Bloom and Wan Fokkink and Rob J. van Glabbeek},
  year = {2000},
  url = {http://www.computer.org/proceedings/lics/0725/07250107abs.htm},
  researchr = {https://researchr.org/publication/BloomFG00},
  cites = {0},
  citedby = {0},
  pages = {107-118},
  booktitle = {lics},
}

@inproceedings{ChenF06,
  title = {On Finite Alphabets and Infinite Bases III: Simulation},
  author = {Taolue Chen and Wan Fokkink},
  year = {2006},
  doi = {10.1007/11817949_28},
  url = {http://dx.doi.org/10.1007/11817949_28},
  researchr = {https://researchr.org/publication/ChenF06},
  cites = {0},
  citedby = {0},
  pages = {421-434},
  booktitle = {concur},
}

@inproceedings{FokkinkN04,
  title = {On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds},
  author = {Wan Fokkink and Sumit Nain},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2987&spage=182},
  researchr = {https://researchr.org/publication/FokkinkN04},
  cites = {0},
  citedby = {0},
  pages = {182-194},
  booktitle = {fossacs},
}

@article{FokkinkGR04,
  title = {Process Algebra Needs Proof Methodology (Columns: Concurrency)},
  author = {Wan Fokkink and Jan Friso Groote and Michel A. Reniers},
  year = {2004},
  url = {http://www.cs.auc.dk//~luca/BEATCS/colConc82.pdf},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/FokkinkGR04},
  cites = {0},
  citedby = {0},
  journal = {eatcs},
  volume = {82},
  pages = {109-125},
}

@article{Fokkink00,
  title = {Rooted Branching Bisimulation as a Congruence},
  author = {Wan Fokkink},
  year = {2000},
  researchr = {https://researchr.org/publication/Fokkink00},
  cites = {0},
  citedby = {0},
  journal = {jcss},
  volume = {60},
  number = {1},
  pages = {13-37},
}

@inproceedings{FokkinkIKPUY02,
  title = {Refinement and Verification Applied to an In-Flight Data Acquisition Unit},
  author = {Wan Fokkink and Natalia Ioustinova and Ernst Kesseler and Jaco van de Pol and Yaroslav S. Usenko and Yuri A. Yushtein},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2421/24210001.htm},
  tags = {refinement, data-flow},
  researchr = {https://researchr.org/publication/FokkinkIKPUY02},
  cites = {0},
  citedby = {0},
  pages = {1-23},
  booktitle = {concur},
}

@article{FokkinkP06,
  title = {Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM},
  author = {Wan Fokkink and Jun Pang},
  year = {2006},
  url = {http://www.jucs.org/jucs_12_8/variations_on_itai_rodeh},
  tags = {analysis},
  researchr = {https://researchr.org/publication/FokkinkP06},
  cites = {0},
  citedby = {0},
  journal = {jucs},
  volume = {12},
  number = {8},
  pages = {981-1006},
}

@article{AcetoFIE05,
  title = {Guest editors  foreword: Process Algebra},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Zoltán Ésik},
  year = {2005},
  doi = {10.1016/j.tcs.2005.01.013},
  url = {http://dx.doi.org/10.1016/j.tcs.2005.01.013},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/AcetoFIE05},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {335},
  number = {2-3},
  pages = {127-129},
}

@inproceedings{FokkinkGW05,
  title = {Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation},
  author = {Wan Fokkink and Rob J. van Glabbeek and Paulien de Wind},
  year = {2005},
  doi = {10.1007/11804192_10},
  url = {http://dx.doi.org/10.1007/11804192_10},
  researchr = {https://researchr.org/publication/FokkinkGW05},
  cites = {0},
  citedby = {0},
  pages = {195-218},
  booktitle = {FMCO},
}

@inproceedings{ChenFG09,
  title = {On Finite Bases for Weak Semantics: Failures Versus Impossible Futures},
  author = {Taolue Chen and Wan Fokkink and Rob J. van Glabbeek},
  year = {2009},
  doi = {10.1007/978-3-540-95891-8_18},
  url = {http://dx.doi.org/10.1007/978-3-540-95891-8_18},
  tags = {semantics},
  researchr = {https://researchr.org/publication/ChenFG09},
  cites = {0},
  citedby = {0},
  pages = {167-180},
  booktitle = {sofsem},
}

@article{BonzanniKFFKBH09,
  title = {Executing multicellular differentiation: quantitative predictive modelling of ::::C.elegans:::: vulval development},
  author = {Nicola Bonzanni and Elzbieta Krepska and K. Anton Feenstra and Wan Fokkink and Thilo Kielmann and Henri E. Bal and Jaap Heringa},
  year = {2009},
  doi = {10.1093/bioinformatics/btp355},
  url = {http://dx.doi.org/10.1093/bioinformatics/btp355},
  tags = {meta-model, model-driven development, Meta-Environment},
  researchr = {https://researchr.org/publication/BonzanniKFFKBH09},
  cites = {0},
  citedby = {0},
  journal = {bioinformatics},
  volume = {25},
  number = {16},
  pages = {2049-2056},
}

@inproceedings{BadbanFP08,
  title = {Mechanical Verification of a Two-Way Sliding Window Protocol},
  author = {Bahareh Badban and Wan Fokkink and Jaco van de Pol},
  year = {2008},
  doi = {10.3233/978-1-58603-907-3-179},
  url = {http://dx.doi.org/10.3233/978-1-58603-907-3-179},
  tags = {protocol},
  researchr = {https://researchr.org/publication/BadbanFP08},
  cites = {0},
  citedby = {0},
  pages = {179-202},
  booktitle = {wotug},
}

@article{FokkinkP05a,
  title = {Formal Verification of Timed Systems Using Cones and Foci},
  author = {Wan Fokkink and Jun Pang},
  year = {2005},
  doi = {10.1016/j.entcs.2005.09.003},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.09.003},
  researchr = {https://researchr.org/publication/FokkinkP05a},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {139},
  number = {1},
  pages = {105-122},
}

@article{AcetoFIN06,
  title = {Bisimilarity is not finitely based over BPA with interrupt},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Sumit Nain},
  year = {2006},
  doi = {10.1016/j.tcs.2006.07.003},
  url = {http://dx.doi.org/10.1016/j.tcs.2006.07.003},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/AcetoFIN06},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {366},
  number = {1-2},
  pages = {60-81},
}

@article{AcetoF06,
  title = {The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems},
  author = {Luca Aceto and Wan Fokkink},
  year = {2006},
  doi = {10.1016/j.entcs.2005.12.076},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.12.076},
  tags = {composition, source-to-source, open-source},
  researchr = {https://researchr.org/publication/AcetoF06},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {162},
  pages = {43-48},
}

@inproceedings{WijsF05,
  title = {From chi-t to µCRL: Combining Performance and Functional Analysis},
  author = {Anton Wijs and Wan Fokkink},
  year = {2005},
  doi = {10.1109/ICECCS.2005.51},
  url = {http://dx.doi.org/10.1109/ICECCS.2005.51},
  tags = {analysis},
  researchr = {https://researchr.org/publication/WijsF05},
  cites = {0},
  citedby = {0},
  pages = {184-193},
  booktitle = {ICECCS},
}

@inproceedings{BlomFGLLP01,
  title = {µCRL: A Toolset for Analysing Algebraic Specifications},
  author = {Stefan Blom and Wan Fokkink and Jan Friso Groote and Izak van Langevelde and Bert Lisser and Jaco van de Pol},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2102/21020250.htm},
  tags = {algebraic specification,  algebra},
  researchr = {https://researchr.org/publication/BlomFGLLP01},
  cites = {0},
  citedby = {0},
  pages = {250-254},
  booktitle = {cav},
}

@article{AcetoFI08,
  title = {A Cancellation Theorem for BCCSP},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir},
  year = {2008},
  url = {http://iospress.metapress.com/content/t240268303147214/},
  researchr = {https://researchr.org/publication/AcetoFI08},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {88},
  number = {1-2},
  pages = {1-21},
}

@inproceedings{BakhshiCFH09,
  title = {Mean-Field Analysis for the Evaluation of Gossip Protocols},
  author = {Rena Bakhshi and Lucia Cloth and Wan Fokkink and Boudewijn R. Haverkort},
  year = {2009},
  doi = {10.1109/QEST.2009.38},
  url = {http://doi.ieeecomputersociety.org/10.1109/QEST.2009.38},
  tags = {protocol, analysis},
  researchr = {https://researchr.org/publication/BakhshiCFH09},
  cites = {0},
  citedby = {0},
  pages = {247-256},
  booktitle = {qest},
}

@article{ChenFLN08,
  title = {On finite alphabets and infinite bases},
  author = {Taolue Chen and Wan Fokkink and Bas Luttik and Sumit Nain},
  year = {2008},
  doi = {10.1016/j.ic.2007.09.003},
  url = {http://dx.doi.org/10.1016/j.ic.2007.09.003},
  researchr = {https://researchr.org/publication/ChenFLN08},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {206},
  number = {5},
  pages = {492-519},
}

@article{Fokkink00:0,
  title = {Language preorder as a precongruence},
  author = {Wan Fokkink},
  year = {2000},
  doi = {10.1016/S0304-3975(98)00267-9},
  url = {http://dx.doi.org/10.1016/S0304-3975(98)00267-9},
  researchr = {https://researchr.org/publication/Fokkink00%3A0},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {243},
  number = {1-2},
  pages = {391-408},
}

@incollection{AcetoFV01,
  title = {Conservative Extension in Structural Operational Semantics},
  author = {Luca Aceto and Wan Fokkink and Chris Verhoef},
  year = {2001},
  tags = {semantics,  structural operational semantics, operational semantics},
  researchr = {https://researchr.org/publication/AcetoFV01},
  cites = {0},
  citedby = {0},
  pages = {504-524},
  booktitle = {Current Trends in Theoretical Computer Science},
}

@inproceedings{AcetoFIL06,
  title = {A Finite Equational Base for CCS with Left Merge and Communication Merge},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik},
  year = {2006},
  doi = {10.1007/11787006_42},
  url = {http://dx.doi.org/10.1007/11787006_42},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/AcetoFIL06},
  cites = {0},
  citedby = {0},
  pages = {492-503},
  booktitle = {icalp},
}

@inproceedings{Fokkink93,
  title = {An Elimination Theorem for Regular Behaviours with Integration},
  author = {Wan Fokkink},
  year = {1993},
  researchr = {https://researchr.org/publication/Fokkink93},
  cites = {0},
  citedby = {0},
  pages = {432-446},
  booktitle = {concur},
}

@inproceedings{FokkinkPW05,
  title = {Is Timed Branching Bisimilarity an Equivalence Indeed?},
  author = {Wan Fokkink and Jun Pang and Anton Wijs},
  year = {2005},
  doi = {10.1007/11603009_20},
  url = {http://dx.doi.org/10.1007/11603009_20},
  researchr = {https://researchr.org/publication/FokkinkPW05},
  cites = {0},
  citedby = {0},
  pages = {258-272},
  booktitle = {formats},
}

@article{abs-cs-0501040,
  title = {Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy s Merge},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik},
  year = {2005},
  url = {http://arxiv.org/abs/cs/0501040},
  researchr = {https://researchr.org/publication/abs-cs-0501040},
  cites = {0},
  citedby = {0},
  journal = {corr},
  volume = {abs/cs/0501040},
}

@article{FokkinkKW00,
  title = {Lazy rewriting on eager machinery},
  author = {Wan Fokkink and Jasper Kamperman and Pum Walters},
  year = {2000},
  doi = {10.1145/345099.345102},
  url = {http://doi.acm.org/10.1145/345099.345102},
  tags = {laziness, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/FokkinkKW00},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {22},
  number = {1},
  pages = {45-86},
}

@inproceedings{FokkinkP97,
  title = {Simulation as a Correct Transformation of Rewrite Systems},
  author = {Wan Fokkink and Jaco van de Pol},
  year = {1997},
  tags = {graph transformation, graph-rewriting, transformation system, rewriting, transformation},
  researchr = {https://researchr.org/publication/FokkinkP97},
  cites = {0},
  citedby = {0},
  pages = {249-258},
  booktitle = {mfcs},
}

@article{cs-LO-0204039,
  title = {Precongruence Formats for Decorated Trace Semantics},
  author = {Bard Bloom and Wan Fokkink and Rob J. van Glabbeek},
  year = {2002},
  url = {http://arxiv.org/abs/cs.LO/0204039},
  tags = {semantics},
  researchr = {https://researchr.org/publication/cs-LO-0204039},
  cites = {0},
  citedby = {0},
  journal = {corr},
  volume = {cs.LO/0204039},
}

@article{AcetoFI98,
  title = {On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely Based},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir},
  year = {1998},
  doi = {10.1016/S0304-3975(97)00104-7},
  url = {http://dx.doi.org/10.1016/S0304-3975(97)00104-7},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/AcetoFI98},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {209},
  number = {1-2},
  pages = {163-178},
}

@inproceedings{AcetoFI01,
  title = {2-Nested Simulation Is Not Finitely Equationally Axiomatizable},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2010/20100039.htm},
  researchr = {https://researchr.org/publication/AcetoFI01},
  cites = {0},
  citedby = {0},
  pages = {39-50},
  booktitle = {STACS},
}

@inproceedings{BakhshiGFS09,
  title = {An Analytical Model of Information Dissemination for a Gossip-Based Protocol},
  author = {Rena Bakhshi and Daniela Gavidia and Wan Fokkink and Maarten van Steen},
  year = {2009},
  doi = {10.1007/978-3-540-92295-7_29},
  url = {http://dx.doi.org/10.1007/978-3-540-92295-7_29},
  tags = {rule-based, protocol, information models},
  researchr = {https://researchr.org/publication/BakhshiGFS09},
  cites = {0},
  citedby = {0},
  pages = {230-242},
  booktitle = {icdcn},
}

@inproceedings{DijkFKVV98,
  title = {EURIS, a Specification Method for Distributed Interlockings},
  author = {Fokko van Dijk and Wan Fokkink and Gea Kolk and Paul van de Ven and Bas van Vlijmen},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1516/15160296.htm},
  researchr = {https://researchr.org/publication/DijkFKVV98},
  cites = {0},
  citedby = {0},
  pages = {296-305},
  booktitle = {safecomp},
}

@article{FokkinkPW08,
  title = {Is Timed Branching Bisimilarity a Congruence Indeed?},
  author = {Wan Fokkink and Jun Pang and Anton Wijs},
  year = {2008},
  url = {http://iospress.metapress.com/content/72559204677312hk/},
  researchr = {https://researchr.org/publication/FokkinkPW08},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {87},
  number = {3-4},
  pages = {287-311},
}

@article{abs-cs-0608001,
  title = {A Finite Equational Base for CCS with Left Merge and Communication Merge},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik},
  year = {2006},
  url = {http://arxiv.org/abs/cs/0608001},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/abs-cs-0608001},
  cites = {0},
  citedby = {0},
  journal = {corr},
  volume = {abs/cs/0608001},
}

@misc{homepages-f-WanFokkink,
  title = {Home Page},
  author = {Wan Fokkink},
  researchr = {https://researchr.org/publication/homepages-f-WanFokkink},
  cites = {0},
  citedby = {0},
  howpublished = {http://www.cs.vu.nl/~wanf/},
}

@article{BakhshiGFS09-0,
  title = {An analytical model of information dissemination for a gossip-based protocol},
  author = {Rena Bakhshi and Daniela Gavidia and Wan Fokkink and Maarten van Steen},
  year = {2009},
  doi = {10.1016/j.comnet.2009.03.017},
  url = {http://dx.doi.org/10.1016/j.comnet.2009.03.017},
  tags = {rule-based, protocol, information models},
  researchr = {https://researchr.org/publication/BakhshiGFS09-0},
  cites = {0},
  citedby = {0},
  journal = {cn},
  volume = {53},
  number = {13},
  pages = {2288-2303},
}

@inproceedings{PangKF03,
  title = {Analyzing the Redesign of a Distributed Lift System in UPPAAL},
  author = {Jun Pang and Bart Karstens and Wan Fokkink},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2885&spage=504},
  researchr = {https://researchr.org/publication/PangKF03},
  cites = {0},
  citedby = {0},
  pages = {504-522},
  booktitle = {icfem},
}

@inproceedings{GhassemiFM09,
  title = {Equational Reasoning on Ad Hoc Networks},
  author = {Fatemeh Ghassemi and Wan Fokkink and Ali Movaghar},
  year = {2009},
  doi = {10.1007/978-3-642-11623-0_6},
  url = {http://dx.doi.org/10.1007/978-3-642-11623-0_6},
  researchr = {https://researchr.org/publication/GhassemiFM09},
  cites = {0},
  citedby = {0},
  pages = {113-128},
  booktitle = {fsen},
}

@inproceedings{AcetoFIL05:0,
  title = {Finite Equational Bases in Process Algebra: Results and Open Questions},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik},
  year = {2005},
  doi = {10.1007/11601548_18},
  url = {http://dx.doi.org/10.1007/11601548_18},
  tags = {process algebra, source-to-source,  algebra, open-source},
  researchr = {https://researchr.org/publication/AcetoFIL05%3A0},
  cites = {0},
  citedby = {0},
  pages = {338-367},
  booktitle = {BIRTHDAY},
}

@article{abs-0810-1571,
  title = {An Analytical Model of Information Dissemination for a Gossip-based Protocol},
  author = {Rena Bakhshi and Daniela Gavidia and Wan Fokkink and Maarten van Steen},
  year = {2008},
  url = {http://arxiv.org/abs/0810.1571},
  tags = {rule-based, protocol, information models},
  researchr = {https://researchr.org/publication/abs-0810-1571},
  cites = {0},
  citedby = {0},
  journal = {corr},
  volume = {abs/0810.1571},
}

@inproceedings{Fokkink94,
  title = {The Tyft/Tyxt Format Reduces to Tree Rules},
  author = {Wan Fokkink},
  year = {1994},
  tags = {rule-based, rules},
  researchr = {https://researchr.org/publication/Fokkink94},
  cites = {0},
  citedby = {0},
  pages = {440-453},
  booktitle = {tacs},
}

@inproceedings{FokkinkKLU08,
  title = {Towards Formal Verification of ToolBusScripts},
  author = {Wan Fokkink and Paul  Klint and Bert Lisser and Yaroslav S. Usenko},
  year = {2008},
  doi = {10.1007/978-3-540-79980-1_13},
  url = {http://dx.doi.org/10.1007/978-3-540-79980-1_13},
  researchr = {https://researchr.org/publication/FokkinkKLU08},
  cites = {0},
  citedby = {0},
  pages = {160-166},
  booktitle = {amast},
}

@inproceedings{Fokkink97:0,
  title = {Axiomatizations for the Perpetual Loop in Process Algebra},
  author = {Wan Fokkink},
  year = {1997},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/Fokkink97%3A0},
  cites = {0},
  citedby = {0},
  pages = {571-581},
  booktitle = {icalp},
}

@article{FokkinkZ94,
  title = {Basic Process Algebra with Iteration: Completeness of its Equational Axioms},
  author = {Wan Fokkink and Hans Zantema},
  year = {1994},
  tags = {completeness, process algebra,  algebra},
  researchr = {https://researchr.org/publication/FokkinkZ94},
  cites = {0},
  citedby = {0},
  journal = {cj},
  volume = {37},
  number = {4},
  pages = {259-268},
}

@inproceedings{FokkinkGW03,
  title = {Compositionality of Hennessy-Milner Logic through Structural Operational Semantics},
  author = {Wan Fokkink and Rob J. van Glabbeek and Paulien de Wind},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2751&spage=412},
  tags = {semantics,  structural operational semantics, composition, operational semantics, logic},
  researchr = {https://researchr.org/publication/FokkinkGW03},
  cites = {0},
  citedby = {0},
  pages = {412-422},
  booktitle = {fct},
}

@inproceedings{AcetoFIM08,
  title = {Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Mohammad Reza Mousavi},
  year = {2008},
  doi = {10.1007/978-0-387-09680-3_21},
  url = {http://dx.doi.org/10.1007/978-0-387-09680-3_21},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/AcetoFIM08},
  cites = {0},
  citedby = {0},
  pages = {301-316},
  booktitle = {ifipTCS},
}

@article{FokkinkGW06:0,
  title = {Compositionality of Hennessy-Milner logic by structural operational semantics},
  author = {Wan Fokkink and Rob J. van Glabbeek and Paulien de Wind},
  year = {2006},
  doi = {10.1016/j.tcs.2005.11.035},
  url = {http://dx.doi.org/10.1016/j.tcs.2005.11.035},
  tags = {semantics,  structural operational semantics, composition, operational semantics, logic},
  researchr = {https://researchr.org/publication/FokkinkGW06%3A0},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {354},
  number = {3},
  pages = {421-440},
}

@article{FokkinkHP05,
  title = {A Note on K-State Self-stabilization in a Ring with K=N},
  author = {Wan Fokkink and Jaap-Henk Hoepman and Jun Pang},
  year = {2005},
  researchr = {https://researchr.org/publication/FokkinkHP05},
  cites = {0},
  citedby = {0},
  journal = {njc},
  volume = {12},
  number = {1},
  pages = {18-26},
}

@inproceedings{FokkinkP03,
  title = {Cones and Foci for Protocol Verification Revisited},
  author = {Wan Fokkink and Jun Pang},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2620/26200267.htm},
  tags = {protocol},
  researchr = {https://researchr.org/publication/FokkinkP03},
  cites = {0},
  citedby = {0},
  pages = {267-281},
  booktitle = {fossacs},
}

@inproceedings{AcetoFI07,
  title = {Ready to Preorder: Get Your BCCSP Axiomatization for Free!},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir},
  year = {2007},
  doi = {10.1007/978-3-540-73859-6_5},
  url = {http://dx.doi.org/10.1007/978-3-540-73859-6_5},
  researchr = {https://researchr.org/publication/AcetoFI07},
  cites = {0},
  citedby = {0},
  pages = {65-79},
  booktitle = {calco},
}

@article{AcetoF04,
  title = {Guesteditors introduction: Special issue on Structural Operational Semantics},
  author = {Luca Aceto and Wan Fokkink},
  year = {2004},
  doi = {10.1016/j.jlap.2004.03.010},
  url = {http://dx.doi.org/10.1016/j.jlap.2004.03.010},
  tags = {semantics,  structural operational semantics, operational semantics},
  researchr = {https://researchr.org/publication/AcetoF04},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {60-61},
  pages = {1-2},
}

@article{AcetoCFI08,
  title = {On the axiomatisability of priority},
  author = {Luca Aceto and Taolue Chen and Wan Fokkink and Anna Ingólfsdóttir},
  year = {2008},
  doi = {10.1017/S0960129507006524},
  url = {http://dx.doi.org/10.1017/S0960129507006524},
  researchr = {https://researchr.org/publication/AcetoCFI08},
  cites = {0},
  citedby = {0},
  journal = {mscs},
  volume = {18},
  number = {1},
  pages = {5-28},
}

@article{AcetoBFIN09,
  title = {Preface},
  author = {Luca Aceto and Jos C. M. Baeten and Wan Fokkink and Anna Ingólfsdóttir and Uwe Nestmann},
  year = {2009},
  doi = {10.1016/j.jlap.2008.11.001},
  url = {http://dx.doi.org/10.1016/j.jlap.2008.11.001},
  tags = {C++},
  researchr = {https://researchr.org/publication/AcetoBFIN09},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {78},
  number = {4},
}

@inproceedings{PangFHV03,
  title = {Model Checking a Cache Coherence Protocol for a Java DSM Implementation},
  author = {Jun Pang and Wan Fokkink and Rutger F. H. Hofman and Ronald Veldema},
  year = {2003},
  url = {http://csdl.computer.org/comp/proceedings/ipdps/2003/1926/00/19260238babs.htm},
  tags = {Java, caching, model checking, meta-model, protocol, Meta-Environment},
  researchr = {https://researchr.org/publication/PangFHV03},
  cites = {0},
  citedby = {0},
  pages = {238},
  booktitle = {ipps},
}

@inproceedings{BlomFN03,
  title = {On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces},
  author = {Stefan Blom and Wan Fokkink and Sumit Nain},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2719/27190109.htm},
  researchr = {https://researchr.org/publication/BlomFN03},
  cites = {0},
  citedby = {0},
  pages = {109-118},
  booktitle = {icalp},
}

@article{FokkinkZ97,
  title = {Termination Modulo Equations by Abstract Commutation with an Application to Iteration},
  author = {Wan Fokkink and Hans Zantema},
  year = {1997},
  doi = {10.1016/S0304-3975(96)00254-X},
  url = {http://dx.doi.org/10.1016/S0304-3975(96)00254-X},
  tags = {termination},
  researchr = {https://researchr.org/publication/FokkinkZ97},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {177},
  number = {2},
  pages = {407-423},
}

@inproceedings{OprescuKF09,
  title = {FTRepMI: Fault-Tolerant, Sequentially-Consistent Object Replication for Grid Applications},
  author = {Ana-Maria Oprescu and Thilo Kielmann and Wan Fokkink},
  year = {2009},
  doi = {10.1007/978-3-540-92295-7_44},
  url = {http://dx.doi.org/10.1007/978-3-540-92295-7_44},
  researchr = {https://researchr.org/publication/OprescuKF09},
  cites = {0},
  citedby = {0},
  pages = {368-376},
  booktitle = {icdcn},
}

@article{Fokkink97:1,
  title = {An Axiomatization for Regular Processes in Times Branching Bisimulation},
  author = {Wan Fokkink},
  year = {1997},
  researchr = {https://researchr.org/publication/Fokkink97%3A1},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {32},
  number = {3-4},
  pages = {329-340},
}

@article{AcetoFIL09,
  title = {A finite equational base for CCS with left merge and communication merge},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik},
  year = {2009},
  doi = {10.1145/1459010.1459016},
  url = {http://doi.acm.org/10.1145/1459010.1459016},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/AcetoFIL09},
  cites = {0},
  citedby = {0},
  journal = {tocl},
  volume = {10},
  number = {1},
}

@article{PangFHV07,
  title = {Model checking a cache coherence protocol of a Java DSM implementation},
  author = {Jun Pang and Wan Fokkink and Rutger F. H. Hofman and Ronald Veldema},
  year = {2007},
  doi = {10.1016/j.jlap.2006.08.007},
  url = {http://dx.doi.org/10.1016/j.jlap.2006.08.007},
  tags = {Java, caching, model checking, meta-model, protocol, Meta-Environment},
  researchr = {https://researchr.org/publication/PangFHV07},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {71},
  number = {1},
  pages = {1-43},
}

@inproceedings{Fokkink96,
  title = {On the Completeness of the Euations for the Kleene Star in Bisimulation},
  author = {Wan Fokkink},
  year = {1996},
  tags = {completeness},
  researchr = {https://researchr.org/publication/Fokkink96},
  cites = {0},
  citedby = {0},
  pages = {180-194},
  booktitle = {amast},
}

@article{Fokkink96:0,
  title = {A Complete Axiomatization for Prefix Iteration in Branching Bisimulation},
  author = {Wan Fokkink},
  year = {1996},
  tags = {completeness},
  researchr = {https://researchr.org/publication/Fokkink96%3A0},
  cites = {0},
  citedby = {0},
  journal = {FUIN},
  volume = {26},
  number = {2},
  pages = {103-113},
}

@article{FokkinkPP06,
  title = {Cones and foci: A mechanical framework for protocol verification},
  author = {Wan Fokkink and Jun Pang and Jaco van de Pol},
  year = {2006},
  doi = {10.1007/s10703-006-0004-3},
  url = {http://dx.doi.org/10.1007/s10703-006-0004-3},
  tags = {protocol},
  researchr = {https://researchr.org/publication/FokkinkPP06},
  cites = {0},
  citedby = {0},
  journal = {fmsd},
  volume = {29},
  number = {1},
  pages = {1-31},
}

@inproceedings{BonzanniFFK09,
  title = {What Can Formal Methods Bring to Systems Biology?},
  author = {Nicola Bonzanni and K. Anton Feenstra and Wan Fokkink and Elzbieta Krepska},
  year = {2009},
  doi = {10.1007/978-3-642-05089-3_2},
  url = {http://dx.doi.org/10.1007/978-3-642-05089-3_2},
  researchr = {https://researchr.org/publication/BonzanniFFK09},
  cites = {0},
  citedby = {0},
  pages = {16-22},
  booktitle = {FM},
}

@inproceedings{FokkinkKP07,
  title = {Adapting the UPPAAL Model of a Distributed Lift System},
  author = {Wan Fokkink and Allard Kakebeen and Jun Pang},
  year = {2007},
  doi = {10.1007/978-3-540-75698-9_6},
  url = {http://dx.doi.org/10.1007/978-3-540-75698-9_6},
  researchr = {https://researchr.org/publication/FokkinkKP07},
  cites = {0},
  citedby = {0},
  pages = {81-97},
  booktitle = {fsen},
}

@inproceedings{FokkinkKLU09,
  title = {Automated Translation and Analysis of a ToolBus Script for Auctions},
  author = {Wan Fokkink and Paul  Klint and Bert Lisser and Yaroslav S. Usenko},
  year = {2009},
  doi = {10.1007/978-3-642-11623-0_18},
  url = {http://dx.doi.org/10.1007/978-3-642-11623-0_18},
  tags = {translation, analysis},
  researchr = {https://researchr.org/publication/FokkinkKLU09},
  cites = {0},
  citedby = {0},
  pages = {308-323},
  booktitle = {fsen},
}

@inproceedings{KrepskaBFFKBH08,
  title = {Design Issues for Qualitative Modelling of Biological Cells with Petri Nets},
  author = {Elzbieta Krepska and Nicola Bonzanni and K. Anton Feenstra and Wan Fokkink and Thilo Kielmann and Henri E. Bal and Jaap Heringa},
  year = {2008},
  doi = {10.1007/978-3-540-68413-8_4},
  url = {http://dx.doi.org/10.1007/978-3-540-68413-8_4},
  tags = {design science, e-science, design},
  researchr = {https://researchr.org/publication/KrepskaBFFKBH08},
  cites = {0},
  citedby = {0},
  pages = {48-62},
  booktitle = {fmsb},
}

@article{FokkinkKW98,
  title = {Within ARM s Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems},
  author = {Wan Fokkink and Jasper Kamperman and Pum Walters},
  year = {1998},
  doi = {10.1145/291889.291903},
  url = {http://doi.acm.org/10.1145/291889.291903},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/FokkinkKW98},
  cites = {1},
  citedby = {0},
  journal = {TOPLAS},
  volume = {20},
  number = {3},
  pages = {679-706},
}

@article{FokkinkV98,
  title = {A Conservative Look at Operational Semantics with Variable Binding},
  author = {Wan Fokkink and Chris Verhoef},
  year = {1998},
  tags = {semantics, variable binding, operational semantics},
  researchr = {https://researchr.org/publication/FokkinkV98},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {146},
  number = {1},
  pages = {24-54},
}

@article{AcetoFV99,
  title = {Conservative Extension in Structural Operational Semantics},
  author = {Luca Aceto and Wan Fokkink and Chris Verhoef},
  year = {1999},
  tags = {semantics,  structural operational semantics, operational semantics},
  researchr = {https://researchr.org/publication/AcetoFV99},
  cites = {0},
  citedby = {0},
  journal = {eatcs},
  volume = {69},
  pages = {110-132},
}

@inproceedings{FokkinkV99,
  title = {Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories},
  author = {Wan Fokkink and Chris Verhoef},
  year = {1999},
  tags = {term rewriting, graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/FokkinkV99},
  cites = {0},
  citedby = {0},
  pages = {98-113},
  booktitle = {FASE},
}

@inproceedings{FokkinkL00,
  title = {An ::::omega::::-Complete Equational Specification of Interleaving},
  author = {Wan Fokkink and Bas Luttik},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1853/18530729.htm},
  tags = {completeness},
  researchr = {https://researchr.org/publication/FokkinkL00},
  cites = {0},
  citedby = {0},
  pages = {729-743},
  booktitle = {icalp},
}

@article{AcetoGFI96,
  title = {Axiomatizing Prefix Iteration with Silent Steps},
  author = {Luca Aceto and Rob J. van Glabbeek and Wan Fokkink and Anna Ingólfsdóttir},
  year = {1996},
  researchr = {https://researchr.org/publication/AcetoGFI96},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {127},
  number = {1},
  pages = {26-40},
}

@article{AcetoBFG07,
  title = {Guest Editors  Foreword},
  author = {Luca Aceto and Mario Bravetti and Wan Fokkink and Andrew D. Gordon},
  year = {2007},
  doi = {10.1016/j.jlap.2006.08.002},
  url = {http://dx.doi.org/10.1016/j.jlap.2006.08.002},
  researchr = {https://researchr.org/publication/AcetoBFG07},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {70},
  number = {2},
  pages = {119-120},
}

@inproceedings{AcetoFIN05,
  title = {Bisimilarity Is Not Finitely Based over BPA with Interrupt},
  author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Sumit Nain},
  year = {2005},
  doi = {10.1007/11548133_4},
  url = {http://dx.doi.org/10.1007/11548133_4},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/AcetoFIN05},
  cites = {0},
  citedby = {0},
  pages = {52-66},
  booktitle = {calco},
}

@article{Fokkink97,
  title = {Unification for Infinite Sets of Equations Between Finite Terms},
  author = {Wan Fokkink},
  year = {1997},
  doi = {10.1016/S0020-0190(97)00063-X},
  url = {http://dx.doi.org/10.1016/S0020-0190(97)00063-X},
  researchr = {https://researchr.org/publication/Fokkink97},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {62},
  number = {4},
  pages = {183-188},
}