DocumentCode
1805312
Title
Language properties of parallel composition of labeled transition systems
Author
Lijing Chen
Author_Institution
College of Information Science and Technology, Shandong University of Science and Technology, Qingdao, China
fYear
2013
fDate
1-8 Jan. 2013
Firstpage
1
Lastpage
4
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.
Keywords
Testing; labeled transition systems; language; parallel composition;
fLanguage
English
Publisher
ieee
Conference_Titel
Conference Anthology, IEEE
Conference_Location
China
Type
conf
DOI
10.1109/ANTHOLOGY.2013.6784961
Filename
6784961
Link To Document