On universality of concurrent expressions with synchronization primitives
From MaRDI portal
Publication:1162167
DOI10.1016/0304-3975(82)90018-4zbMath0479.68085MaRDI QIDQ1162167
Publication date: 1982
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(82)90018-4
recursively enumerable sets; extended regular expressions; shuffle operator; extended model of Shaw's flow expressions; semaphore controlled regular expressions