ICE-TCS Lectures Series - Marco Bernardo - Markovian Testing Equivalence and Exponentially Timed Internal Actions

On Tuesday the 19th of May  Marco Bernardo (University of Urbino, Italy) delivers an ICE-TCS seminar.

The talk, which is entitled Markovian Testing Equivalence and Exponentially Timed Internal Actions, will be held at 12:00 in room K5 at Reykjavik University (Kringlan 1). Note the nonstandard time!

The abstract for the talk is available here.