Suchergebnisse - Vaandrager, Frits W.

Forward and backward simulations

Band 1. Untimed system. - 1993. - 35 S. - (... ; 93,13)

von Lynch, Nancy A. 1948-, Vaandrager, Frits W.

An efficient algorithm for branching bisimulation and stuttering equivalence

von Groote, Jan F., Vaandrager, Frits W.

Online lesen (frei zugänglich)

Three logics for branching bisimulation

von De Nicola, Rocco, Vaandrager, Frits W.

Online lesen (frei zugänglich)

Back and forth bisimulations

von De Nicola, Rocco, Montanari, Ugo 1943-, Vaandrager, Frits W.

Online lesen (frei zugänglich)

Algebraic techniques for concurrency and their application

von Vaandrager, Frits W.

The difference between splitting in n and n+1

von Glabbeek, Rob van, Vaandrager, Frits W.

A note on fairness in I O automata

von Romijn, Judi M. T., Vaandrager, Frits W.

Verification of a distributed summation algorithm

von Vaandrager, Frits W.

Forward and backward simulations

Band 1 - Untimed systems

von Lynch, Nancy A. 1948-, Vaandrager, Frits W.

Some observations on redundancy in a context

von Vaandrager, Frits W.

Proof-checking a data link protocol

von Helmink, L., Sellink, Alex, Vaandrager, Frits W.

Forward and backward simulations

Band 2 - Timing based systems

von Lynch, Nancy A. 1948-, Vaandrager, Frits W.

Expressiveness results for process algebras

von Vaandrager, Frits W.

Turning SOS rules into equations

von Aceto, Luca, Bloom, Bard, Vaandrager, Frits W.

An algabra for process creation

von Baeten, Josephus C. M., Vaandrager, Frits W.

A simple definition for parallel composition of prime event structures

von Vaandrager, Frits W.

Process algebra semantics of POOL

von Vaandrager, Frits W.

Verification of two communication protocols by means of process algebra

von Vaandrager, Frits W.

Verification of a distributed summation algorithm

von Vaandrager, Frits W.

Action transducers and timed automata

von Lynch, Nancy A. 1948-, Vaandrager, Frits W.