Language properties of parallel composition of labeled transition systems

IEEE Conference Anthology Pub Date : 1900-01-01 DOI:10.1109/ANTHOLOGY.2013.6784961

Lijing Chen

引用次数: 0

Abstract

The parallel composition of labeledtransition systems (LTSs) is widely used for modeling and analyzing concurrent systems. This paper reveals some new language properties of composite LTSs based on the existing results.

查看原文本刊更多论文

标记过渡系统平行组合的语言特性

标记转换系统(LTSs)的并行组合被广泛用于并发系统的建模和分析。本文在已有研究成果的基础上，揭示了复合LTSs的一些新的语言特性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

IEEE Conference Anthology

自引率

0.00%

发文量