Frits W Vaandrager

Frits W Vaandrager

Radboud University - Nijmegen / Netherlands
Engineering & Technology / Computer Science
AD Scientific Index ID: 1804253
Radboud Universiteit
person_outline Frits W Vaandrager's MOST POPULAR ARTICLES
1-) Forward and backward simulations Part I: Untimed systemsN Lynch, F VaandragerInformation and Computation 121 (2), 214-233, 19955981995
2-) Hybrid i/o automataN Lynch, R Segala, F VaandragerInformation and Computation 185 (1), 105-157, 20035592003
3-) Three logics for branching bisimulationR De Nicola, F VaandragerJournal of the ACM (JACM) 42 (2), 458-487, 19954761995
4-) Action versus state based logics for transition systemsR De Nicola, F VaandragerLITP Spring School on Theoretical Computer Science, 407-419, 19904961990
5-) Structured operational semantics and bisimulation as a congruenceJF Groote, F VaandragerInformation and computation 100 (2), 202-260, 19924611992