文章基本信息

标题：Synchronization Expressions and Languages
本地全文：下载
作者：Kai Salomaa ; Sheng Yu
期刊名称：Journal of Universal Computer Science
印刷版ISSN：0948-6968
出版年度：1999
卷号：5
期号：9
页码：610
DOI：10.3217/jucs-005-09-0610
出版社：Graz University of Technology and Know-Center
摘要：Synchronization expressions (SEs) were originally developed as practical high-level constructs for specifying synchronization constraints between parallel processes. The family of synchronization languages was introduced to give a precise semantic description for synchronization expressions. In addition to its use for defining the meaning of SEs, the family of synchronization languages is interesting on its own from a formal languages point of view. We consider two variants of the definition of synchronization languages, and survey characterization results for the language families. Synchronization languages also provide us a systematic approach for the implementation and simplification of SEs