- Wan Fokkink and Steven Klusener. An effective axiomatization for
real time ACP. Information and Computation,
122(2):286-299, 1 November 1995.
Abstract,
References,
and Citations.
- Wan Fokkink and Rob van Glabbeek. Ntyft/ntyxt rules reduce to ntree
rules. Information and Computation, 126(1):1-10, 10
April 1996.
Abstract,
References,
and Citations.
- Luca Aceto, Rob van Glabbeek, Wan Fokkink, and Anna
Ingólfsdóttir. Axiomatizing prefix iteration with
silent steps. Information and Computation,
127(1):26-40, 25 May 1996.
Abstract,
References,
and Citations.
- Luca Aceto and Wan Fokkink. An equational axiomatization for
multi-exit iteration. Information and Computation,
137(2):121-158, 15 September 1997.
Abstract,
References,
and Citations.
- Wan Fokkink and Chris Verhoef. A conservative look at operational
semantics with variable binding. Information and
Computation, 146(1):24-54, 10 October 1998.
Abstract
and References.
Shortcuts: