文章基本信息

标题：Asupra unor abordări semantice ale unor limbaje concurente
本地全文：下载
作者：Lucian Luca ; Adela Ionescu ; Sorina-Carmen Luca 等
期刊名称：Annals. Computer Science Series
印刷版ISSN：1583-7165
电子版ISSN：2065-7471
出版年度：2004
卷号：2
期号：2
页码：19-26
出版社：Mirton Publishing House, Timisoara
摘要：The study presents some semantic approaches of two concurrent languages (notations), CSP and CCS, which have had a significant influence on the concurrent pragramming languages that have followed. These approaches have transformed the two concurrent notations in process algebra, a starting point for the temporal theoretical approach in the domain of the real time systems