{"title":"具有无保护选择的高阶pi -微积分的正规双模拟","authors":"Zining Cao","doi":"10.1109/TASE.2014.15","DOIUrl":null,"url":null,"abstract":"In this paper, we present a normal bisimulation for higher order pi-calculus with unguarded choice and prove the coincidence between such normal bisimulation and context bisimulation for higher order π-calculus with unguarded choice. To achieve this aim, we introduce indexed higher order π-calculus with unguarded choice. Furthermore we present corresponding indexed bisimulations in this calculus, and prove the equivalence between indexed context bisimulation and indexed normal bisimulation. As an application of this result, we prove the equivalence between context bisimulation and normal bisimulation for higher order π-calculus with unguarded choice.","PeriodicalId":371040,"journal":{"name":"2014 Theoretical Aspects of Software Engineering Conference","volume":"10 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice\",\"authors\":\"Zining Cao\",\"doi\":\"10.1109/TASE.2014.15\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, we present a normal bisimulation for higher order pi-calculus with unguarded choice and prove the coincidence between such normal bisimulation and context bisimulation for higher order π-calculus with unguarded choice. To achieve this aim, we introduce indexed higher order π-calculus with unguarded choice. Furthermore we present corresponding indexed bisimulations in this calculus, and prove the equivalence between indexed context bisimulation and indexed normal bisimulation. As an application of this result, we prove the equivalence between context bisimulation and normal bisimulation for higher order π-calculus with unguarded choice.\",\"PeriodicalId\":371040,\"journal\":{\"name\":\"2014 Theoretical Aspects of Software Engineering Conference\",\"volume\":\"10 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-07-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2014 Theoretical Aspects of Software Engineering Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TASE.2014.15\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 Theoretical Aspects of Software Engineering Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TASE.2014.15","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Normal Bisimulation for Higher Order Pi-Calculus with Unguarded Choice
In this paper, we present a normal bisimulation for higher order pi-calculus with unguarded choice and prove the coincidence between such normal bisimulation and context bisimulation for higher order π-calculus with unguarded choice. To achieve this aim, we introduce indexed higher order π-calculus with unguarded choice. Furthermore we present corresponding indexed bisimulations in this calculus, and prove the equivalence between indexed context bisimulation and indexed normal bisimulation. As an application of this result, we prove the equivalence between context bisimulation and normal bisimulation for higher order π-calculus with unguarded choice.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
