Language Properties of Parallel Composition of Labeled Transition Systems

摘要：

The parallel composition of labeled transition 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.

关键词： labeled transition systems parallel composition language

作者: Lijing Chen

作者单位: College of Information Science and Technology Shandong University of Science and Technology Shandong Qingdao, China

会议类型: 国际会议

会议名称: The 13th IEEE Joint International Computer Science and Information Technology Conference(2011年第13届IEEE联合国际计算机科学与信息技术会议 JICSIT 2011)

会议地点: 重庆

会议语种:英文

页码: 800-803

在线出版日期: 2011-08-20（万方平台首次上网日期，不代表论文的发表时间）