Concurrent systems as local state transformation algebras the case of elementary net systems - Pomello, Lucia; Simone, Carla (Università degli Studi <Milano>, 1990)