Wan Fokkink

• 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: