Constructive Boolean circuits and the exactness of timed ternary simulation Michael MendlerThomas R. ShipleGĂ©rard Berry OriginalPaper 28 March 2012 Pages: 283 - 329
A concurrency-preserving translation from time Petri nets to networks of timed automata Sandie BalaguerThomas ChatainStefan Haar OriginalPaper 16 March 2012 Pages: 330 - 355
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation Silvia CrafaFrancesco Ranzato OriginalPaper 22 March 2012 Pages: 356 - 376