Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction.

Rocco De Nicola, Giulio Iacobelli, Mirco Tribastone

Browse the full FORTE paper archive.