Arnim WedigHorst F. WeddeAnca M. LazarescuElisei RotaruConcurrency in Distributed Systems under Autonomous and Enforced Actions.251-2602006conf/acsd/2006ACSDhttps://doi.org/10.1109/ACSD.2006.4https://doi.ieeecomputersociety.org/10.1109/ACSD.2006.4db/conf/acsd/acsd2006.html#WedigWLR06