De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. CSA Technical Report #9/2013 IMT Institute for Advanced Studies Lucca