Javier Esparza, Christian Kern. Reactive and Proactive Diagnosis of Distributed Systems Using Net Unfoldings. In Jens Brandt, Keijo Heljanko, editors, 12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012. pages 154-163, IEEE, 2012. [doi]
Abstract is missing.