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]

Abstract

Abstract is missing.