文章基本信息

标题：Asupra algebrelor de process pentru sistemele in timp real
本地全文：下载
作者：Lucian Luca ; Adela Ionescu ; Sorina-Carmen Luca 等
期刊名称：Annals. Computer Science Series
印刷版ISSN：1583-7165
电子版ISSN：2065-7471
出版年度：2004
卷号：2
期号：1
页码：102-112
出版社：Mirton Publishing House, Timisoara
摘要：There are presented the attempts to define a calculus for parallel processes, in the beginning being described some representative process algebras (CCS, CSP, ?-calculus). Then, there are presented and discussed another extensions of classical semantics models for the real-time systems, analysing their advantages and disadvantages