Concepedia
Statistics
Publications
65
Citations
1.8K
H-Index
25
Active since
1970
Affiliations
Vrije Universiteit Amsterdam(Current)
Centrum Wiskunde & Informatica
Eindhoven University of Technology
Aalborg University
Swansea University
Wan Fokkink is an author at Vrije Universiteit Amsterdam specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationVerificationSystems EngineeringSemanticsLanguageLinguistics
Publications per year
1970–2022
Introduction to process algebra
Wan Fokkink · Data Archiving and Networked Services (DANS) · 2000 · 173 citations
Representation Theory, Automated Reasoning, Process Specification +3
Ntyft/ntyxt Rules Reduce to Ntree Rules
Wan Fokkink, Rob van Glabbeek · Information and Computation · 1996 · 80 citations · Full text
Tree Language, Ntyft/ntyxt Rules Reduce, Computational Complexity +2
Basic Process Algebra with Iteration: Completeness of its Equational Axioms
Wan Fokkink · The Computer Journal · 1994 · 70 citations · Full text
Algebraic Logic, Engineering, Automated Reasoning +13
Precongruence formats for decorated trace semantics
Bard Bloom, Wan Fokkink, Rob J. van Glabbeek · ACM Transactions on Computational Logic · 2004 · 66 citations
Engineering, Semantic Equivalences, Higher-order Logic +20
A Conservative Look at Operational Semantics with Variable Binding
Wan Fokkink, C. Verhoef · Information and Computation · 1998 · 62 citations · Full text
Formal Semantics, Syntax, Engineering +8
1–5 of 65