"Semantics for Concurrency: Proceedings of the International BCS-FACS Workshop," herausgegeben von M. Z. Kwiatkowska, ist eine Sammlung wissenschaftlicher Arbeiten, die sich mit der formalen Semantik konkurrierender Systeme befassen. Das...