<https://fsa.win.tue.nl/>
<http://schema.org/description>
"We research process algebra, semantics, model checking and logics for modelling and analysing distributed systems and industrial control systems, using mcrl2."
<https://fsa.win.tue.nl/events/event/tom-franken-parallel-sorting-under-assumptions/>