{"title":"Process Algebra with Timing: Real Time and Discrete Time","authors":"J. Baeten, K. Middelburg","doi":"10.1016/B978-044482830-9/50028-X","DOIUrl":"https://doi.org/10.1016/B978-044482830-9/50028-X","url":null,"abstract":"","PeriodicalId":172055,"journal":{"name":"Handbook of Process Algebra","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125023013","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Action Refinement","authors":"R. Gorrieri, A. Rensink","doi":"10.1016/B978-044482830-9/50034-5","DOIUrl":"https://doi.org/10.1016/B978-044482830-9/50034-5","url":null,"abstract":"","PeriodicalId":172055,"journal":{"name":"Handbook of Process Algebra","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123250613","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Structural Operational Semantics","authors":"L. Aceto, W. Fokkink, C. Verhoef","doi":"10.7146/BRICS.V6I30.20099","DOIUrl":"https://doi.org/10.7146/BRICS.V6I30.20099","url":null,"abstract":"The importance of giving precise semantics to programming and specification languages was recognized since the sixties with the development of the first high-level programming languages (cf. e.g. [30, 206] for some early accounts). The use of operational semantics - i.e. of a semantics that explicitly describes how programs compute in stepwise fashion, and the possible state-transformations they perform - was already advocated by McCarthy in [147], and elaborated upon in references like [142, 143]. Examples of full-blown languages that have been endowed with an operational semantics are Algol 60 [140], PL/I [173], and CSP [178].","PeriodicalId":172055,"journal":{"name":"Handbook of Process Algebra","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-01-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122449465","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Discrete Time Process Algebra and the Semantics of SDL","authors":"J. Bergstra, K. Middelburg, Y. Usenko","doi":"10.1016/B978-044482830-9/50036-9","DOIUrl":"https://doi.org/10.1016/B978-044482830-9/50036-9","url":null,"abstract":"","PeriodicalId":172055,"journal":{"name":"Handbook of Process Algebra","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-12-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132994508","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Process Algebra for Interworkings","authors":"S. Mauw, M. Reniers","doi":"10.1016/B978-044482830-9/50037-0","DOIUrl":"https://doi.org/10.1016/B978-044482830-9/50037-0","url":null,"abstract":"","PeriodicalId":172055,"journal":{"name":"Handbook of Process Algebra","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126621981","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Verification on Infinite Structures","authors":"Olaf Burkart, D. Caucal, F. Moller, B. Steffen","doi":"10.1016/B978-044482830-9/50027-8","DOIUrl":"https://doi.org/10.1016/B978-044482830-9/50027-8","url":null,"abstract":"","PeriodicalId":172055,"journal":{"name":"Handbook of Process Algebra","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114168025","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Trace-Oriented Models of Concurrency","authors":"M. Broy, E. Olderog","doi":"10.1016/B978-044482830-9/50020-5","DOIUrl":"https://doi.org/10.1016/B978-044482830-9/50020-5","url":null,"abstract":"","PeriodicalId":172055,"journal":{"name":"Handbook of Process Algebra","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133452103","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Equivalence and Preorder Checking for Finite-State Systems","authors":"R. Cleaveland, O. Sokolsky","doi":"10.1016/B978-044482830-9/50024-2","DOIUrl":"https://doi.org/10.1016/B978-044482830-9/50024-2","url":null,"abstract":"","PeriodicalId":172055,"journal":{"name":"Handbook of Process Algebra","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134057182","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Process Algebra with Recursive Operations","authors":"J. Bergstra, W. Fokkink, A. Ponse","doi":"10.1016/B978-044482830-9/50023-0","DOIUrl":"https://doi.org/10.1016/B978-044482830-9/50023-0","url":null,"abstract":"","PeriodicalId":172055,"journal":{"name":"Handbook of Process Algebra","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114298316","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Probabilistic Extensions of Process Algebras","authors":"B. Jonsson, W. Yi, K. Larsen","doi":"10.1016/B978-044482830-9/50029-1","DOIUrl":"https://doi.org/10.1016/B978-044482830-9/50029-1","url":null,"abstract":"","PeriodicalId":172055,"journal":{"name":"Handbook of Process Algebra","volume":"34 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121012510","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}