publications:
- title: "On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation"
  author:
  - name: "Taolue Chen"
    link: "https://researchr.org/alias/taolue-chen"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Sumit Nain"
    link: "https://researchr.org/alias/sumit-nain"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11690634_1"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "ChenFN06"
- title: "Ready to preorder: The case of weak process semantics"
  author:
  - name: "Taolue Chen"
    link: "https://researchr.org/alias/taolue-chen"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.ipl.2008.09.003"
  links:
    doi: "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"
  kind: "article"
  key: "ChenFG08"
- title: "A Complete Equational Axiomatization for Prefix Iteration"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "1994"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/Fokkink94%3A0"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "52"
  number: "6"
  pages: "333-337"
  kind: "article"
  key: "Fokkink94:0"
- title: "Formal analysis techniques for gossiping protocols"
  author:
  - name: "Rena Bakhshi"
    link: "https://researchr.org/alias/rena-bakhshi"
  - name: "François Bonnet"
    link: "https://researchr.org/alias/fran%C3%A7ois-bonnet"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Boudewijn R. Haverkort"
    link: "https://researchr.org/alias/boudewijn-r.-haverkort"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1317379.1317385"
  links:
    doi: "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"
  kind: "article"
  key: "BakhshiBFH07"
- title: "Guest Editors  Foreword"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Mario Bravetti"
    link: "https://researchr.org/alias/mario-bravetti"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Andrew D. Gordon"
    link: "http://research.microsoft.com/en-us/um/people/adg/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.jlap.2007.06.001"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoBFG08"
- title: "On Finite Bases for Weak Semantics: Failures versus Impossible Futures"
  author:
  - name: "Taolue Chen"
    link: "https://researchr.org/alias/taolue-chen"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  year: "2008"
  doi: "http://arxiv.org/abs/0810.4904"
  links:
    doi: "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"
  kind: "article"
  key: "abs-0810-4904"
- title: "Preface"
  author:
  - name: "Thomas Arts"
    link: "https://researchr.org/alias/thomas-arts"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "2003"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/137/23/show/Products/notes/index.htt#001"
  links:
    doi: "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"
  kind: "article"
  key: "ArtsF03"
- title: "A note on an expressiveness hierarchy for multi-exit iteration"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0020-0190(03)00234-5"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFI03"
- title: "Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development"
  author:
  - name: "Nicola Bonzanni"
    link: "https://researchr.org/alias/nicola-bonzanni"
  - name: "Elzbieta Krepska"
    link: "https://researchr.org/alias/elzbieta-krepska"
  - name: "K. Anton Feenstra"
    link: "https://researchr.org/alias/k.-anton-feenstra"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Thilo Kielmann"
    link: "https://researchr.org/alias/thilo-kielmann"
  - name: "Henri E. Bal"
    link: "https://researchr.org/alias/henri-e.-bal"
  - name: "Jaap Heringa"
    link: "https://researchr.org/alias/jaap-heringa"
  year: "2009"
  doi: "http://dx.doi.org/10.1093/bioinformatics/btp509"
  links:
    doi: "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"
  kind: "article"
  key: "BonzanniKFFKBH09a"
- title: "A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed Traces"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  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"
  kind: "article"
  key: "AcetoFI98:1"
- title: "Restricted Broadcast Process Theory"
  author:
  - name: "Fatemeh Ghassemi"
    link: "https://researchr.org/alias/fatemeh-ghassemi"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Ali Movaghar"
    link: "https://researchr.org/alias/ali-movaghar"
  year: "2008"
  doi: "http://dx.doi.org/10.1109/SEFM.2008.25"
  links:
    doi: "http://dx.doi.org/10.1109/SEFM.2008.25"
  researchr: "https://researchr.org/publication/GhassemiFM08"
  cites: 0
  citedby: 0
  pages: "345-354"
  booktitle: "SEFM"
  kind: "inproceedings"
  key: "GhassemiFM08"
- title: "Ntyft/Ntyxt Rules Reduce to Ntree Rules"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Rob J. van Glabbeek"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "FokkinkG96"
- title: "CCS with Hennessy s merge has no finite-equational axiomatization"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2004.10.003"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFIL05:1"
- title: "Analyzing a ::::chi:::: model of a turntable system using Spin, CADP and Uppaal"
  author:
  - name: "E. M. Bortnik"
    link: "https://researchr.org/alias/e.-m.-bortnik"
  - name: "Nikola Trcka"
    link: "https://researchr.org/alias/nikola-trcka"
  - name: "Anton Wijs"
    link: "https://researchr.org/alias/anton-wijs"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  - name: "J. M. van de Mortel-Fronczak"
    link: "https://researchr.org/alias/j.-m.-van-de-mortel-fronczak"
  - name: "Jos C. M. Baeten"
    link: "http://www.win.tue.nl/~josb/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "J. E. Rooda"
    link: "https://researchr.org/alias/j.-e.-rooda"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.jlap.2005.05.001"
  links:
    doi: "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"
  kind: "article"
  key: "BortnikTWLMBFR05"
- title: "An Equational Axiomatization for Multi-Exit Iteration"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "1997"
  researchr: "https://researchr.org/publication/AcetoF97"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "137"
  number: "2"
  pages: "121-158"
  kind: "article"
  key: "AcetoF97"
- title: "Leader Election in Anonymous Rings: Franklin Goes Probabilistic"
  author:
  - name: "Rena Bakhshi"
    link: "https://researchr.org/alias/rena-bakhshi"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-0-387-09680-3_4"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BakhshiFPP08"
- title: "Simplifying Itai-Rodeh Leader Election for Anonymous Rings"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.04.004"
  links:
    doi: "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"
  kind: "article"
  key: "FokkinkP05"
- title: "An Effective Axiomatization for Real Time ACP"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Steven Klusener"
    link: "http://www.cs.vu.nl/~steven/"
  year: "1995"
  researchr: "https://researchr.org/publication/FokkinkK95"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "122"
  number: "2"
  pages: "286-299"
  kind: "article"
  key: "FokkinkK95"
- title: "Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy s merge"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2005"
  doi: "http://dx.doi.org/10.2168/LMCS-1(1:3)2005"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFIL05"
- title: "Nested semantics over finite trees are equationally hard"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.ic.2004.02.001"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFGI04"
- title: "Guest Editors  Foreword"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Mario Bravetti"
    link: "https://researchr.org/alias/mario-bravetti"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Andrew D. Gordon"
    link: "http://research.microsoft.com/en-us/um/people/adg/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.jlap.2007.02.001"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoBFG07a"
- title: "Structural operational semantics and bounded nondeterminism"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Thuy Duong Vu"
    link: "https://researchr.org/alias/thuy-duong-vu"
  year: "2003"
  doi: "http://www.springerlink.com/openurl.asp?genre=article&issn=0001-5903&volume=39&issue=6&spage=501"
  links:
    doi: "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"
  kind: "article"
  key: "FokkinkV03"
- title: "A Finite Basis for Failure Semantics"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Sumit Nain"
    link: "https://researchr.org/alias/sumit-nain"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11523468_61"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FokkinkN05"
- title: "Preface"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Irek Ulidowski"
    link: "https://researchr.org/alias/irek-ulidowski"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.08.053"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFU05"
- title: "A Cook s Tour of Equational Axiomatizations for Prefix Iteration"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1378/13780020.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AcetoFI98:0"
- title: "On the Axiomatizability of Impossible Futures: Preorder versus Equivalence"
  author:
  - name: "Taolue Chen"
    link: "https://researchr.org/alias/taolue-chen"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/LICS.2008.13"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/LICS.2008.13"
  researchr: "https://researchr.org/publication/ChenF08"
  cites: 0
  citedby: 0
  pages: "156-165"
  booktitle: "lics"
  kind: "inproceedings"
  key: "ChenF08"
- title: "Process Algebra: An Algebraic Theory of Concurrency"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03564-7_3"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Fokkink09"
- title: "Verifying a Sliding Window Protocol in µCRL"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  - name: "Bahareh Badban"
    link: "https://researchr.org/alias/bahareh-badban"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=148"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FokkinkGPBP04"
- title: "On the Axiomatizability of Priority"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Taolue Chen"
    link: "https://researchr.org/alias/taolue-chen"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11787006_41"
  links:
    doi: "http://dx.doi.org/10.1007/11787006_41"
  researchr: "https://researchr.org/publication/AcetoCFI06"
  cites: 0
  citedby: 0
  pages: "480-491"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "AcetoCFI06"
- title: "Verification of a sliding window protocol in µCRL and PVS"
  author:
  - name: "Bahareh Badban"
    link: "https://researchr.org/alias/bahareh-badban"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s00165-005-0070-0"
  links:
    doi: "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"
  kind: "article"
  key: "BadbanFGPP05"
- title: "Preface: Process Algebra"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S0020-0190(01)00211-3"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoF01"
- title: "Precongruence formats for decorated trace semantics"
  author:
  - name: "Bard Bloom"
    link: "https://researchr.org/alias/bard-bloom"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/963927.963929"
  links:
    doi: "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"
  kind: "article"
  key: "BloomFG04"
- title: "Divide and Congruence Applied to ::::eta::::-Bisimulation"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  - name: "Paulien de Wind"
    link: "https://researchr.org/alias/paulien-de-wind"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.10.029"
  links:
    doi: "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"
  kind: "article"
  key: "FokkinkGW06"
- title: "Precongruence Formats for Decorated Trace Preorders"
  author:
  - name: "Bard Bloom"
    link: "https://researchr.org/alias/bard-bloom"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  year: "2000"
  doi: "http://www.computer.org/proceedings/lics/0725/07250107abs.htm"
  links:
    doi: "http://www.computer.org/proceedings/lics/0725/07250107abs.htm"
  researchr: "https://researchr.org/publication/BloomFG00"
  cites: 0
  citedby: 0
  pages: "107-118"
  booktitle: "lics"
  kind: "inproceedings"
  key: "BloomFG00"
- title: "On Finite Alphabets and Infinite Bases III: Simulation"
  author:
  - name: "Taolue Chen"
    link: "https://researchr.org/alias/taolue-chen"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11817949_28"
  links:
    doi: "http://dx.doi.org/10.1007/11817949_28"
  researchr: "https://researchr.org/publication/ChenF06"
  cites: 0
  citedby: 0
  pages: "421-434"
  booktitle: "concur"
  kind: "inproceedings"
  key: "ChenF06"
- title: "On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Sumit Nain"
    link: "https://researchr.org/alias/sumit-nain"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2987&spage=182"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FokkinkN04"
- title: "Process Algebra Needs Proof Methodology (Columns: Concurrency)"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Michel A. Reniers"
    link: "https://researchr.org/alias/michel-a.-reniers"
  year: "2004"
  doi: "http://www.cs.auc.dk//~luca/BEATCS/colConc82.pdf"
  links:
    doi: "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"
  kind: "article"
  key: "FokkinkGR04"
- title: "Rooted Branching Bisimulation as a Congruence"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "2000"
  researchr: "https://researchr.org/publication/Fokkink00"
  cites: 0
  citedby: 0
  journal: "jcss"
  volume: "60"
  number: "1"
  pages: "13-37"
  kind: "article"
  key: "Fokkink00"
- title: "Refinement and Verification Applied to an In-Flight Data Acquisition Unit"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Natalia Ioustinova"
    link: "https://researchr.org/alias/natalia-ioustinova"
  - name: "Ernst Kesseler"
    link: "https://researchr.org/alias/ernst-kesseler"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  - name: "Yaroslav S. Usenko"
    link: "http://www.usenko.com/"
  - name: "Yuri A. Yushtein"
    link: "https://researchr.org/alias/yuri-a.-yushtein"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2421/24210001.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FokkinkIKPUY02"
- title: "Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  year: "2006"
  doi: "http://www.jucs.org/jucs_12_8/variations_on_itai_rodeh"
  links:
    doi: "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"
  kind: "article"
  key: "FokkinkP06"
- title: "Guest editors  foreword: Process Algebra"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Zoltán Ésik"
    link: "https://researchr.org/alias/zolt%C3%A1n-%C3%A9sik"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.tcs.2005.01.013"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFIE05"
- title: "Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Rob J. van Glabbeek"
    link: "https://researchr.org/alias/rob-j.-van-glabbeek"
  - name: "Paulien de Wind"
    link: "https://researchr.org/alias/paulien-de-wind"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11804192_10"
  links:
    doi: "http://dx.doi.org/10.1007/11804192_10"
  researchr: "https://researchr.org/publication/FokkinkGW05"
  cites: 0
  citedby: 0
  pages: "195-218"
  booktitle: "FMCO"
  kind: "inproceedings"
  key: "FokkinkGW05"
- title: "On Finite Bases for Weak Semantics: Failures Versus Impossible Futures"
  author:
  - name: "Taolue Chen"
    link: "https://researchr.org/alias/taolue-chen"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-540-95891-8_18"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "ChenFG09"
- title: "Executing multicellular differentiation: quantitative predictive modelling of ::::C.elegans:::: vulval development"
  author:
  - name: "Nicola Bonzanni"
    link: "https://researchr.org/alias/nicola-bonzanni"
  - name: "Elzbieta Krepska"
    link: "https://researchr.org/alias/elzbieta-krepska"
  - name: "K. Anton Feenstra"
    link: "https://researchr.org/alias/k.-anton-feenstra"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Thilo Kielmann"
    link: "https://researchr.org/alias/thilo-kielmann"
  - name: "Henri E. Bal"
    link: "https://researchr.org/alias/henri-e.-bal"
  - name: "Jaap Heringa"
    link: "https://researchr.org/alias/jaap-heringa"
  year: "2009"
  doi: "http://dx.doi.org/10.1093/bioinformatics/btp355"
  links:
    doi: "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"
  kind: "article"
  key: "BonzanniKFFKBH09"
- title: "Mechanical Verification of a Two-Way Sliding Window Protocol"
  author:
  - name: "Bahareh Badban"
    link: "https://researchr.org/alias/bahareh-badban"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  year: "2008"
  doi: "http://dx.doi.org/10.3233/978-1-58603-907-3-179"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BadbanFP08"
- title: "Formal Verification of Timed Systems Using Cones and Foci"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.09.003"
  links:
    doi: "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"
  kind: "article"
  key: "FokkinkP05a"
- title: "Bisimilarity is not finitely based over BPA with interrupt"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Sumit Nain"
    link: "https://researchr.org/alias/sumit-nain"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.tcs.2006.07.003"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFIN06"
- title: "The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.076"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoF06"
- title: "From chi-t to µCRL: Combining Performance and Functional Analysis"
  author:
  - name: "Anton Wijs"
    link: "https://researchr.org/alias/anton-wijs"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "2005"
  doi: "http://dx.doi.org/10.1109/ICECCS.2005.51"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "WijsF05"
- title: "µCRL: A Toolset for Analysing Algebraic Specifications"
  author:
  - name: "Stefan Blom"
    link: "https://researchr.org/alias/stefan-blom"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  - name: "Izak van Langevelde"
    link: "https://researchr.org/alias/izak-van-langevelde"
  - name: "Bert Lisser"
    link: "https://researchr.org/alias/bert-lisser"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2102/21020250.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BlomFGLLP01"
- title: "A Cancellation Theorem for BCCSP"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "2008"
  doi: "http://iospress.metapress.com/content/t240268303147214/"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFI08"
- title: "Mean-Field Analysis for the Evaluation of Gossip Protocols"
  author:
  - name: "Rena Bakhshi"
    link: "https://researchr.org/alias/rena-bakhshi"
  - name: "Lucia Cloth"
    link: "https://researchr.org/alias/lucia-cloth"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Boudewijn R. Haverkort"
    link: "https://researchr.org/alias/boudewijn-r.-haverkort"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/QEST.2009.38"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BakhshiCFH09"
- title: "On finite alphabets and infinite bases"
  author:
  - name: "Taolue Chen"
    link: "https://researchr.org/alias/taolue-chen"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  - name: "Sumit Nain"
    link: "https://researchr.org/alias/sumit-nain"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.ic.2007.09.003"
  links:
    doi: "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"
  kind: "article"
  key: "ChenFLN08"
- title: "Language preorder as a precongruence"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "2000"
  doi: "http://dx.doi.org/10.1016/S0304-3975(98)00267-9"
  links:
    doi: "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"
  kind: "article"
  key: "Fokkink00:0"
- title: "Conservative Extension in Structural Operational Semantics"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Chris Verhoef"
    link: "http://www.cs.vu.nl/~x/"
  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"
  kind: "incollection"
  key: "AcetoFV01"
- title: "A Finite Equational Base for CCS with Left Merge and Communication Merge"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11787006_42"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AcetoFIL06"
- title: "An Elimination Theorem for Regular Behaviours with Integration"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "1993"
  researchr: "https://researchr.org/publication/Fokkink93"
  cites: 0
  citedby: 0
  pages: "432-446"
  booktitle: "concur"
  kind: "inproceedings"
  key: "Fokkink93"
- title: "Is Timed Branching Bisimilarity an Equivalence Indeed?"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  - name: "Anton Wijs"
    link: "https://researchr.org/alias/anton-wijs"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11603009_20"
  links:
    doi: "http://dx.doi.org/10.1007/11603009_20"
  researchr: "https://researchr.org/publication/FokkinkPW05"
  cites: 0
  citedby: 0
  pages: "258-272"
  booktitle: "formats"
  kind: "inproceedings"
  key: "FokkinkPW05"
- title: "Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy s Merge"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2005"
  doi: "http://arxiv.org/abs/cs/0501040"
  links:
    doi: "http://arxiv.org/abs/cs/0501040"
  researchr: "https://researchr.org/publication/abs-cs-0501040"
  cites: 0
  citedby: 0
  journal: "corr"
  volume: "abs/cs/0501040"
  kind: "article"
  key: "abs-cs-0501040"
- title: "Lazy rewriting on eager machinery"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jasper Kamperman"
    link: "https://researchr.org/alias/jasper-kamperman"
  - name: "Pum Walters"
    link: "https://researchr.org/alias/pum-walters"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/345099.345102"
  links:
    doi: "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"
  kind: "article"
  key: "FokkinkKW00"
- title: "Simulation as a Correct Transformation of Rewrite Systems"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/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"
  kind: "inproceedings"
  key: "FokkinkP97"
- title: "Precongruence Formats for Decorated Trace Semantics"
  author:
  - name: "Bard Bloom"
    link: "https://researchr.org/alias/bard-bloom"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  year: "2002"
  doi: "http://arxiv.org/abs/cs.LO/0204039"
  links:
    doi: "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"
  kind: "article"
  key: "cs-LO-0204039"
- title: "On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely Based"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "1998"
  doi: "http://dx.doi.org/10.1016/S0304-3975(97)00104-7"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFI98"
- title: "2-Nested Simulation Is Not Finitely Equationally Axiomatizable"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2010/20100039.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AcetoFI01"
- title: "An Analytical Model of Information Dissemination for a Gossip-Based Protocol"
  author:
  - name: "Rena Bakhshi"
    link: "https://researchr.org/alias/rena-bakhshi"
  - name: "Daniela Gavidia"
    link: "https://researchr.org/alias/daniela-gavidia"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Maarten van Steen"
    link: "http://www.few.vu.nl/~steen/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-540-92295-7_29"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BakhshiGFS09"
- title: "EURIS, a Specification Method for Distributed Interlockings"
  author:
  - name: "Fokko van Dijk"
    link: "https://researchr.org/alias/fokko-van-dijk"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Gea Kolk"
    link: "https://researchr.org/alias/gea-kolk"
  - name: "Paul van de Ven"
    link: "https://researchr.org/alias/paul-van-de-ven"
  - name: "Bas van Vlijmen"
    link: "https://researchr.org/alias/bas-van-vlijmen"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1516/15160296.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "DijkFKVV98"
- title: "Is Timed Branching Bisimilarity a Congruence Indeed?"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  - name: "Anton Wijs"
    link: "https://researchr.org/alias/anton-wijs"
  year: "2008"
  doi: "http://iospress.metapress.com/content/72559204677312hk/"
  links:
    doi: "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"
  kind: "article"
  key: "FokkinkPW08"
- title: "A Finite Equational Base for CCS with Left Merge and Communication Merge"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2006"
  doi: "http://arxiv.org/abs/cs/0608001"
  links:
    doi: "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"
  kind: "article"
  key: "abs-cs-0608001"
- title: "Home Page"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  researchr: "https://researchr.org/publication/homepages-f-WanFokkink"
  cites: 0
  citedby: 0
  howpublished: "http://www.cs.vu.nl/~wanf/"
  kind: "misc"
  key: "homepages-f-WanFokkink"
- title: "An analytical model of information dissemination for a gossip-based protocol"
  author:
  - name: "Rena Bakhshi"
    link: "https://researchr.org/alias/rena-bakhshi"
  - name: "Daniela Gavidia"
    link: "https://researchr.org/alias/daniela-gavidia"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Maarten van Steen"
    link: "https://researchr.org/alias/maarten-van-steen"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.comnet.2009.03.017"
  links:
    doi: "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"
  kind: "article"
  key: "BakhshiGFS09-0"
- title: "Analyzing the Redesign of a Distributed Lift System in UPPAAL"
  author:
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  - name: "Bart Karstens"
    link: "https://researchr.org/alias/bart-karstens"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2885&spage=504"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "PangKF03"
- title: "Equational Reasoning on Ad Hoc Networks"
  author:
  - name: "Fatemeh Ghassemi"
    link: "https://researchr.org/alias/fatemeh-ghassemi"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Ali Movaghar"
    link: "https://researchr.org/alias/ali-movaghar"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-11623-0_6"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "GhassemiFM09"
- title: "Finite Equational Bases in Process Algebra: Results and Open Questions"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11601548_18"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AcetoFIL05:0"
- title: "An Analytical Model of Information Dissemination for a Gossip-based Protocol"
  author:
  - name: "Rena Bakhshi"
    link: "https://researchr.org/alias/rena-bakhshi"
  - name: "Daniela Gavidia"
    link: "https://researchr.org/alias/daniela-gavidia"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Maarten van Steen"
    link: "http://www.few.vu.nl/~steen/"
  year: "2008"
  doi: "http://arxiv.org/abs/0810.1571"
  links:
    doi: "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"
  kind: "article"
  key: "abs-0810-1571"
- title: "The Tyft/Tyxt Format Reduces to Tree Rules"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "1994"
  tags:
  - "rule-based"
  - "rules"
  researchr: "https://researchr.org/publication/Fokkink94"
  cites: 0
  citedby: 0
  pages: "440-453"
  booktitle: "tacs"
  kind: "inproceedings"
  key: "Fokkink94"
- title: "Towards Formal Verification of ToolBusScripts"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Paul  Klint"
    link: "http://homepages.cwi.nl/~paulk/"
  - name: "Bert Lisser"
    link: "https://researchr.org/alias/bert-lisser"
  - name: "Yaroslav S. Usenko"
    link: "https://researchr.org/alias/yaroslav-s.-usenko"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-79980-1_13"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FokkinkKLU08"
- title: "Axiomatizations for the Perpetual Loop in Process Algebra"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "1997"
  tags:
  - "process algebra"
  - " algebra"
  researchr: "https://researchr.org/publication/Fokkink97%3A0"
  cites: 0
  citedby: 0
  pages: "571-581"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "Fokkink97:0"
- title: "Basic Process Algebra with Iteration: Completeness of its Equational Axioms"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Hans Zantema"
    link: "http://www.win.tue.nl/~hzantema/"
  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"
  kind: "article"
  key: "FokkinkZ94"
- title: "Compositionality of Hennessy-Milner Logic through Structural Operational Semantics"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  - name: "Paulien de Wind"
    link: "https://researchr.org/alias/paulien-de-wind"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2751&spage=412"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FokkinkGW03"
- title: "Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Mohammad Reza Mousavi"
    link: "https://researchr.org/alias/mohammad-reza-mousavi"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-0-387-09680-3_21"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AcetoFIM08"
- title: "Compositionality of Hennessy-Milner logic by structural operational semantics"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  - name: "Paulien de Wind"
    link: "https://researchr.org/alias/paulien-de-wind"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.tcs.2005.11.035"
  links:
    doi: "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"
  kind: "article"
  key: "FokkinkGW06:0"
- title: "A Note on K-State Self-stabilization in a Ring with K=N"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jaap-Henk Hoepman"
    link: "https://researchr.org/alias/jaap-henk-hoepman"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  year: "2005"
  researchr: "https://researchr.org/publication/FokkinkHP05"
  cites: 0
  citedby: 0
  journal: "njc"
  volume: "12"
  number: "1"
  pages: "18-26"
  kind: "article"
  key: "FokkinkHP05"
- title: "Cones and Foci for Protocol Verification Revisited"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2620/26200267.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FokkinkP03"
- title: "Ready to Preorder: Get Your BCCSP Axiomatization for Free!"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73859-6_5"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AcetoFI07"
- title: "Guesteditors introduction: Special issue on Structural Operational Semantics"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.jlap.2004.03.010"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoF04"
- title: "On the axiomatisability of priority"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Taolue Chen"
    link: "https://researchr.org/alias/taolue-chen"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "2008"
  doi: "http://dx.doi.org/10.1017/S0960129507006524"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoCFI08"
- title: "Preface"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Jos C. M. Baeten"
    link: "https://researchr.org/alias/jos-c.-m.-baeten"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "https://researchr.org/alias/anna-ing%C3%A3%C2%B3lfsd%C3%A3%C2%B3ttir"
  - name: "Uwe Nestmann"
    link: "https://researchr.org/alias/uwe-nestmann"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.jlap.2008.11.001"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoBFIN09"
- title: "Model Checking a Cache Coherence Protocol for a Java DSM Implementation"
  author:
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Rutger F. H. Hofman"
    link: "https://researchr.org/alias/rutger-f.-h.-hofman"
  - name: "Ronald Veldema"
    link: "https://researchr.org/alias/ronald-veldema"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/ipdps/2003/1926/00/19260238babs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "PangFHV03"
- title: "On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces"
  author:
  - name: "Stefan Blom"
    link: "https://researchr.org/alias/stefan-blom"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Sumit Nain"
    link: "https://researchr.org/alias/sumit-nain"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2719/27190109.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BlomFN03"
- title: "Termination Modulo Equations by Abstract Commutation with an Application to Iteration"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Hans Zantema"
    link: "http://www.win.tue.nl/~hzantema/"
  year: "1997"
  doi: "http://dx.doi.org/10.1016/S0304-3975(96)00254-X"
  links:
    doi: "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"
  kind: "article"
  key: "FokkinkZ97"
- title: "FTRepMI: Fault-Tolerant, Sequentially-Consistent Object Replication for Grid Applications"
  author:
  - name: "Ana-Maria Oprescu"
    link: "https://researchr.org/alias/ana-maria-oprescu"
  - name: "Thilo Kielmann"
    link: "https://researchr.org/alias/thilo-kielmann"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-540-92295-7_44"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "OprescuKF09"
- title: "An Axiomatization for Regular Processes in Times Branching Bisimulation"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "1997"
  researchr: "https://researchr.org/publication/Fokkink97%3A1"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "32"
  number: "3-4"
  pages: "329-340"
  kind: "article"
  key: "Fokkink97:1"
- title: "A finite equational base for CCS with left merge and communication merge"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1459010.1459016"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoFIL09"
- title: "Model checking a cache coherence protocol of a Java DSM implementation"
  author:
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Rutger F. H. Hofman"
    link: "https://researchr.org/alias/rutger-f.-h.-hofman"
  - name: "Ronald Veldema"
    link: "https://researchr.org/alias/ronald-veldema"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.jlap.2006.08.007"
  links:
    doi: "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"
  kind: "article"
  key: "PangFHV07"
- title: "On the Completeness of the Euations for the Kleene Star in Bisimulation"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "1996"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/Fokkink96"
  cites: 0
  citedby: 0
  pages: "180-194"
  booktitle: "amast"
  kind: "inproceedings"
  key: "Fokkink96"
- title: "A Complete Axiomatization for Prefix Iteration in Branching Bisimulation"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "1996"
  tags:
  - "completeness"
  researchr: "https://researchr.org/publication/Fokkink96%3A0"
  cites: 0
  citedby: 0
  journal: "FUIN"
  volume: "26"
  number: "2"
  pages: "103-113"
  kind: "article"
  key: "Fokkink96:0"
- title: "Cones and foci: A mechanical framework for protocol verification"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/s10703-006-0004-3"
  links:
    doi: "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"
  kind: "article"
  key: "FokkinkPP06"
- title: "What Can Formal Methods Bring to Systems Biology?"
  author:
  - name: "Nicola Bonzanni"
    link: "https://researchr.org/alias/nicola-bonzanni"
  - name: "K. Anton Feenstra"
    link: "https://researchr.org/alias/k.-anton-feenstra"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Elzbieta Krepska"
    link: "https://researchr.org/alias/elzbieta-krepska"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-05089-3_2"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BonzanniFFK09"
- title: "Adapting the UPPAAL Model of a Distributed Lift System"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Allard Kakebeen"
    link: "https://researchr.org/alias/allard-kakebeen"
  - name: "Jun Pang"
    link: "https://researchr.org/alias/jun-pang"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-75698-9_6"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FokkinkKP07"
- title: "Automated Translation and Analysis of a ToolBus Script for Auctions"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Paul  Klint"
    link: "http://homepages.cwi.nl/~paulk/"
  - name: "Bert Lisser"
    link: "https://researchr.org/alias/bert-lisser"
  - name: "Yaroslav S. Usenko"
    link: "https://researchr.org/alias/yaroslav-s.-usenko"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-11623-0_18"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FokkinkKLU09"
- title: "Design Issues for Qualitative Modelling of Biological Cells with Petri Nets"
  author:
  - name: "Elzbieta Krepska"
    link: "https://researchr.org/alias/elzbieta-krepska"
  - name: "Nicola Bonzanni"
    link: "https://researchr.org/alias/nicola-bonzanni"
  - name: "K. Anton Feenstra"
    link: "https://researchr.org/alias/k.-anton-feenstra"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Thilo Kielmann"
    link: "https://researchr.org/alias/thilo-kielmann"
  - name: "Henri E. Bal"
    link: "https://researchr.org/alias/henri-e.-bal"
  - name: "Jaap Heringa"
    link: "https://researchr.org/alias/jaap-heringa"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-68413-8_4"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "KrepskaBFFKBH08"
- title: "Within ARM s Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Jasper Kamperman"
    link: "https://researchr.org/alias/jasper-kamperman"
  - name: "Pum Walters"
    link: "https://researchr.org/alias/pum-walters"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/291889.291903"
  links:
    doi: "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"
  kind: "article"
  key: "FokkinkKW98"
- title: "A Conservative Look at Operational Semantics with Variable Binding"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Chris Verhoef"
    link: "http://www.cs.vu.nl/~x/"
  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"
  kind: "article"
  key: "FokkinkV98"
- title: "Conservative Extension in Structural Operational Semantics"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Chris Verhoef"
    link: "http://www.cs.vu.nl/~x/"
  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"
  kind: "article"
  key: "AcetoFV99"
- title: "Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Chris Verhoef"
    link: "http://www.cs.vu.nl/~x/"
  year: "1999"
  tags:
  - "term rewriting"
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/FokkinkV99"
  cites: 0
  citedby: 0
  pages: "98-113"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "FokkinkV99"
- title: "An ::::omega::::-Complete Equational Specification of Interleaving"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Bas Luttik"
    link: "http://www.win.tue.nl/~luttik/"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1853/18530729.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "FokkinkL00"
- title: "Axiomatizing Prefix Iteration with Silent Steps"
  author:
  - name: "Luca Aceto"
    link: "http://www2.ru.is/faculty/luca/"
  - name: "Rob J. van Glabbeek"
    link: "http://theory.stanford.edu/~rvg/"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  year: "1996"
  researchr: "https://researchr.org/publication/AcetoGFI96"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "127"
  number: "1"
  pages: "26-40"
  kind: "article"
  key: "AcetoGFI96"
- title: "Guest Editors  Foreword"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Mario Bravetti"
    link: "https://researchr.org/alias/mario-bravetti"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Andrew D. Gordon"
    link: "http://research.microsoft.com/en-us/um/people/adg/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.jlap.2006.08.002"
  links:
    doi: "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"
  kind: "article"
  key: "AcetoBFG07"
- title: "Bisimilarity Is Not Finitely Based over BPA with Interrupt"
  author:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  - name: "Anna Ingólfsdóttir"
    link: "http://www.ru.is/kennarar/annai/"
  - name: "Sumit Nain"
    link: "https://researchr.org/alias/sumit-nain"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11548133_4"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "AcetoFIN05"
- title: "Unification for Infinite Sets of Equations Between Finite Terms"
  author:
  - name: "Wan Fokkink"
    link: "http://www.cs.vu.nl/~wanf/"
  year: "1997"
  doi: "http://dx.doi.org/10.1016/S0020-0190(97)00063-X"
  links:
    doi: "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"
  kind: "article"
  key: "Fokkink97"