1. Constructive Boolean circuits and the exactness of timed ternary simulation

   • Michael Mendler
   • Thomas R. Shiple
   • Gérard Berry

   OriginalPaper 28 March 2012 Pages: 283 - 329

   

2. A concurrency-preserving translation from time Petri nets to networks of timed automata

   • Sandie Balaguer
   • Thomas Chatain
   • Stefan Haar

   OriginalPaper 16 March 2012 Pages: 330 - 355

   

3. Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation

   • Silvia Crafa
   • Francesco Ranzato

   OriginalPaper 22 March 2012 Pages: 356 - 376