P. Asirelli, M. H. Ter-beek, A. Fantechi, and S. , Gnesi Partial Order Methods for Statistical Model Checking and Simulation, p.59

J. Bogdoll, L. María-ferrer-fioriti, and .. , Arnd Hartmanns, and Holger Hermanns Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking, p.75

B. Braitling, R. Wimmer, B. Becker, and .. , Nils Jansen, and Eriká Abrahám Adaptable Processes (Extended Abstract), p.90

S. Fratani and J. , Analysis of Deadlocks in Object Groups, p.168

G. Kalyon, T. L. Gall, H. Marchand, T. Massart, A. Calculus-for-dynamic-networks et al., 213 Dimitrios Kouzapas and Anna Philippou On Asynchronous Session Semantics, p.244

T. Lu and S. .. Merz, and Christoph Weidenbach Dynamic Soundness in Resource-Constrained Workflow Nets, p.259