De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco Dimming relations for the efficient analysis of concurrent systems via action abstraction. In: Formal techniques for distributed objects, components, and systems. Lecture Notes in Computer Science (8461). Springer , pp. 216-231. ISBN 978-3-662-43612-7 (2014)