{"title":"规范理论中关于结构与逻辑构成的几点思考","authors":"Axel Legay, A. Wąsowski","doi":"10.4204/EPTCS.46.4","DOIUrl":null,"url":null,"abstract":"Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete, real-time and probabilistic systems. We have observed a lot of shared algebraic structure between these formalisms. In this short abstract, we collect results of our work in progress on describing and systematizing the algebraic assumptions in specification theories.","PeriodicalId":434420,"journal":{"name":"International Conference on Frontiers of Information Technology","volume":"53 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A Few Considerations on Structural and Logical Composition in Specification Theories\",\"authors\":\"Axel Legay, A. Wąsowski\",\"doi\":\"10.4204/EPTCS.46.4\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete, real-time and probabilistic systems. We have observed a lot of shared algebraic structure between these formalisms. In this short abstract, we collect results of our work in progress on describing and systematizing the algebraic assumptions in specification theories.\",\"PeriodicalId\":434420,\"journal\":{\"name\":\"International Conference on Frontiers of Information Technology\",\"volume\":\"53 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-01-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Conference on Frontiers of Information Technology\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4204/EPTCS.46.4\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Conference on Frontiers of Information Technology","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4204/EPTCS.46.4","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A Few Considerations on Structural and Logical Composition in Specification Theories
Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete, real-time and probabilistic systems. We have observed a lot of shared algebraic structure between these formalisms. In this short abstract, we collect results of our work in progress on describing and systematizing the algebraic assumptions in specification theories.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
