Decomposed Replay Using Hiding and Reduction as Abstraction

H. M. W. Verbeek. Decomposed Replay Using Hiding and Reduction as Abstraction. T. Petri Nets and Other Models of Concurrency, 12:166-186, 2017. [doi]

Authors

H. M. W. Verbeek

This author has not been identified. Look up 'H. M. W. Verbeek' in Google