Paradigm
Extended animation of the presentation at FACS 2010, Guimaraes
.
mCRL2 specification for 3 dining philosophers
and
modal formula for deadlock freedom
.
Slides and specifications of the IMT Seminar of January 18, 2012
.