On universality of concurrent expressions with synchronization primitives
extended model of Shaw's flow expressions
semaphore controlled regular expressions
scientific article; zbMATH DE number 3754076