1. Building tight occurrence nets from reveals relations;Balaguer,2011
2. Rigorous evidence of freedom from concurrency faults in industrial control software;Bonichon;Computer Safety, Reliability, and Security,2011
3. Branching processes of general petri nets;Couvreur,2011
4. Trace spaces: An efficient new technique for state-space reduction;Fajstrup,2012
5. Components of the fundamental category;Fajstrup;Applied Categorical Structures,2004