Reactive and Proactive Diagnosis of Distributed Systems Using Net Unfoldings

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]

Authors

Javier Esparza

This author has not been identified. Look up 'Javier Esparza' in Google

Christian Kern

This author has not been identified. Look up 'Christian Kern' in Google