Balancing expressiveness in formal approaches to concurrency
scientific article; zbMATH DE number 6506757
scientific article