Title :
Language properties of parallel composition of labeled transition systems
Author_Institution :
College of Information Science and Technology, Shandong University of Science and Technology, Qingdao, China
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;
Conference_Titel :
Conference Anthology, IEEE
Conference_Location :
China
DOI :
10.1109/ANTHOLOGY.2013.6784961
