Németh, Z. 2002. Definition of a parallel execution model with abstract state machines. Acta Cybernetica. 15, 3 (Jan. 2002), 417–455.