{"title":"并发进程的语义方面","authors":"Gérald Belpaire, J. Wilmotte","doi":"10.1145/800021.808276","DOIUrl":null,"url":null,"abstract":"In the literature on parallel processes, most of the specific 'parallel' features of programming languages are designed to fit and to solve only one specific class of problems of concurrent processes. For that reason, they usually provide a, fairly good and comprehensive definition of the problem but the real solution is left to the final implementation","PeriodicalId":161752,"journal":{"name":"SIGPLAN-SIGOPS Interface Meeting","volume":"35 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Semantic aspects of concurrent processes\",\"authors\":\"Gérald Belpaire, J. Wilmotte\",\"doi\":\"10.1145/800021.808276\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In the literature on parallel processes, most of the specific 'parallel' features of programming languages are designed to fit and to solve only one specific class of problems of concurrent processes. For that reason, they usually provide a, fairly good and comprehensive definition of the problem but the real solution is left to the final implementation\",\"PeriodicalId\":161752,\"journal\":{\"name\":\"SIGPLAN-SIGOPS Interface Meeting\",\"volume\":\"35 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"SIGPLAN-SIGOPS Interface Meeting\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/800021.808276\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"SIGPLAN-SIGOPS Interface Meeting","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/800021.808276","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
In the literature on parallel processes, most of the specific 'parallel' features of programming languages are designed to fit and to solve only one specific class of problems of concurrent processes. For that reason, they usually provide a, fairly good and comprehensive definition of the problem but the real solution is left to the final implementation