TY - BOOK AU - Venturini zilli, M TI - Mathematical models for the semantics of parallelism CY - Berlin ER -