Gnesi Partial Order Methods for Statistical Model Checking and Simulation, p.59 ,
Arnd Hartmanns, and Holger Hermanns Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking, p.75 ,
Nils Jansen, and Eriká Abrahám Adaptable Processes (Extended Abstract), p.90 ,
Analysis of Deadlocks in Object Groups, p.168 ,
213 Dimitrios Kouzapas and Anna Philippou On Asynchronous Session Semantics, p.244 ,
and Christoph Weidenbach Dynamic Soundness in Resource-Constrained Workflow Nets, p.259 ,