{"title":"标记过渡系统平行组合的语言特性","authors":"Lijing Chen","doi":"10.1109/ANTHOLOGY.2013.6784961","DOIUrl":null,"url":null,"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.","PeriodicalId":203169,"journal":{"name":"IEEE Conference Anthology","volume":"71 5 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Language properties of parallel composition of labeled transition systems\",\"authors\":\"Lijing Chen\",\"doi\":\"10.1109/ANTHOLOGY.2013.6784961\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":203169,\"journal\":{\"name\":\"IEEE Conference Anthology\",\"volume\":\"71 5 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE Conference Anthology\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ANTHOLOGY.2013.6784961\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Conference Anthology","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ANTHOLOGY.2013.6784961","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Language properties of parallel composition of labeled transition systems
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.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
