Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

19 April 2007, PROSE Colloquium, Bas Luttik

Speaker: Bas Luttik
Title: Branching Bisimulation Equivalence with Explicit Divergence
Date: Thursday 19 April 2007
Time: 15:30-16:30
Location: Room 6.96, HG (Main Building), TU Eindhoven

For more information, see http://www.win.tue.nl/prose/

Please note that this newsitem has been archived, and may contain outdated information or links.