Searching for authors named "Wan Fokkink" – sorted by Relevance.
81 documents found, showing 1 through 10.
Next 10 →
-
Safety Criteria for Hoorn-Kersenboogerd Railway Station
- …Safety Criteria for Hoorn--Kersenboogerd Railway Station Wan Fokkink Utrecht University…
- Cited by 3 (1 self) – Add To MetaCart
-
Safety criteria for the vital processor interlocking at HoornKersenboogerd
- …Safety criteria for the vital processor interlocking at Hoorn–Kersenboogerd Wan Fokkink Department…
- Cited by 6 (4 self) – Add To MetaCart
-
A complete equational axiomatization for prefix iteration
- …A Complete Equational Axiomatization for Prefix Iteration Wan Fokkink CWI P.O. Box 94079, 1090 GB…
- Cited by 20 (8 self) – Add To MetaCart
-
A Complete Axiomatization for Prefix Iteration in Branching Bisimulation
- …A Complete Axiomatization for Prefix Iteration in Branching Bisimulation Wan FOKKINK Utrecht…
- Cited by 5 (1 self) – Add To MetaCart
-
An Axiomatization for Regular Processes in Timed Branching Bisimulation
- …An Axiomatization for Regular Processes in Timed Branching Bisimulation Wan Fokkink University…
- Cited by 5 (0 self) – Add To MetaCart
-
Language preorder as a precongruence
- …Language Preorder as a Precongruence ∗ Wan Fokkink University of Wales Swansea Department…
- Cited by 4 (4 self) – Add To MetaCart
-
An Axiomatization for the Terminal Cycle
- …An Axiomatization for the Terminal Cycle Wan Fokkink Utrecht University Department of Philosophy…
- Cited by 1 (1 self) – Add To MetaCart
-
An Elimination Theorem for Regular Behaviours with Integration
- …An Elimination Theorem for Regular Behaviours with Integration Wan Fokkink CWI P.O. Box 4079…
- Cited by 7 (2 self) – Add To MetaCart
-
A Simple Specification Language Combining Processes, Time and Data
- …A Simple Specification Language Combining Processes, Time and Data Wan Fokkink Department…
- Cited by 1 (0 self) – Add To MetaCart
-
Axiomatizations for the perpetual loop in process algebra
- …Axiomatizations for the Perpetual Loop in Process Algebra Wan Fokkink University of Wales Swansea…
- Cited by 5 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
