Vaandrager, Frits Willem (1962-)
B0325551: Nijmeegs Instituut voor Informatica en Informatiekunde (NIII)
| rdfs:label | "Vaandrager, Frits Willem (1962-)" |
| schema:name | "Frits Willem Vaandrager" |
|
schema:family |
"Vaandrager" |
|
schema:given |
"Frits Willem" |
| schema:description | "B0325551: Nijmeegs Instituut voor Informatica en Informatiekunde (NIII)" |
|
schema:birth |
"1962" |
|
schema:same |
<http:/ |
| wd:Q71164789 | |
|
<https:/ |
|
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → Vaandrager, Frits Willem (1962-)
A simple definition for parallel composition of prime event structures / F.W. Vaandragerschema:ProductModel
Algebraic techniques for concurrency and their application / Frits Willem Vaandragerschema:ProductModel
Algebraic techniques for concurrency and their application / Frits Willem Vaandragerschema:ProductModel
De ingebouwde informatica / F.W. Vaandragerschema:ProductModel
Determinism→ (Event structure isomorphism = Step sequence equivalence) / F.W. Vaandragerschema:ProductModel
Expressiveness results for process algebras / F.W. Vaandragerschema:ProductModel
Process algebra semantics of POOL / F.W. Vaandragerschema:ProductModel
Some observations on redundancy in a context / F.W. Vaandragerschema:ProductModel
Verification of a distributed summation algorithm / F.W. Vaandragerschema:ProductModel
Verification of two communication protocols by means of process algebra / F.W. Vaandragerschema:ProductModel
[ .. ] → schema:contributor → Vaandrager, Frits Willem (1962-)
A comparison of additivity axioms in timed transition systems / A.S.A. Jeffrey, S.A. Schneider, F.W. Vaandragerschema:ProductModel
A note on fairness in I/O automata / J.M.T. Romijn, F.W. Vaandragerschema:ProductModel
A theory of normed simulations / W.O.D. Griffioen, F.W. Vaandragerschema:ProductModel
Action transducers and timed automata / N.A. Lynch, F.W. Vaandragerschema:ProductModel
An algebra for process creation / J.C.M. Baeten, F.W. Vaandragerschema:ProductModel
An algebra for process creation / J.C.M. Baeten, F.W. Vaandragerschema:ProductModel
An efficient algorithm for branching bisimulation and stuttering equivalence / J.F. Groote, F.W. Vaandragerschema:ProductModel
Back and forth bisimulations / R. De Nicola, U. Montanari, F.W. Vaandragerschema:ProductModel
Control synthesis for a smart card personalization system using symbolic model checking / B. Gebremichael, F.W. Vaandragerschema:ProductModel
Forward and backward simulations / N.A. Lynchschema:ProductModel
Forward and backward simulations / N.A. Lynchschema:ProductModel
Forward and backward simulations / N.A. Lynch, F.W. Vaandragerschema:ProductModel
Hybrid I/O automata / N. Lynch, R. Segala, F.W. Vaandragerschema:ProductModel
Modeling and verifying a Lego car using hybrid I/O automata / A. Fehnker, F.W. Vaandrager, M. Zhangschema:ProductModel
Modular specifications in process algebra : with curious queues / R.J. van Glabbeek, F.W. Vaandragerschema:ProductModel
Politie informatie systemen / door Peter Pettinga en Frits Vaandragerschema:ProductModel
Proof-checking a data link protocol / L. Helmink, M.P.A. Sellink, F.W. Vaandragerschema:ProductModel
Proof-checking a data link protocol / L. Helmink, M.P.A. Sellink, F.W. Vaandragerschema:ProductModel
Root contention in IEEE 1394 / M.I.A. Stoelinga, F.W. Vaandragerschema:ProductModel
Specification and verification of a circuit in ACP / J.C.M. Baeten, F.W. Vaandragerschema:ProductModel
... show all 29