Javier Esparza
Institut für Informatik, Technische Universität München, Garching, Germany
A false history of true concurrency: from Petri to tools
SPIN'10 Proceedings of the 17th international SPIN conference on Model checking software