Concepedia

Wan Fokkink

WF

65

Publications

1.8K

Citations

25

H-Index

1970

Active since

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

65

Publications

65

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

Rows per page

1–5 of 65