Handbook of Process Algebra最新文献

筛选
英文 中文
Process Algebra with Timing: Real Time and Discrete Time 时序过程代数:实时和离散时间
Handbook of Process Algebra Pub Date : 1999-12-01 DOI: 10.1016/B978-044482830-9/50028-X
J. Baeten, K. Middelburg
{"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}
引用次数: 73
Action Refinement 行动细化
Handbook of Process Algebra Pub Date : 1999-04-01 DOI: 10.1016/B978-044482830-9/50034-5
R. Gorrieri, A. Rensink
{"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}
引用次数: 95
Structural Operational Semantics 结构操作语义
Handbook of Process Algebra Pub Date : 1999-01-30 DOI: 10.7146/BRICS.V6I30.20099
L. Aceto, W. Fokkink, C. Verhoef
{"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}
引用次数: 366
Discrete Time Process Algebra and the Semantics of SDL 离散时间过程代数与SDL语义
Handbook of Process Algebra Pub Date : 1998-12-31 DOI: 10.1016/B978-044482830-9/50036-9
J. Bergstra, K. Middelburg, Y. Usenko
{"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}
引用次数: 22
A Process Algebra for Interworkings 相互作用的进程代数
Handbook of Process Algebra Pub Date : 1900-01-01 DOI: 10.1016/B978-044482830-9/50037-0
S. Mauw, M. Reniers
{"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}
引用次数: 9
Verification on Infinite Structures 无穷结构的验证
Handbook of Process Algebra Pub Date : 1900-01-01 DOI: 10.1016/B978-044482830-9/50027-8
Olaf Burkart, D. Caucal, F. Moller, B. Steffen
{"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}
引用次数: 218
Trace-Oriented Models of Concurrency 面向跟踪的并发模型
Handbook of Process Algebra Pub Date : 1900-01-01 DOI: 10.1016/B978-044482830-9/50020-5
M. Broy, E. Olderog
{"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}
引用次数: 33
Equivalence and Preorder Checking for Finite-State Systems 有限状态系统的等价性和预序检验
Handbook of Process Algebra Pub Date : 1900-01-01 DOI: 10.1016/B978-044482830-9/50024-2
R. Cleaveland, O. Sokolsky
{"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}
引用次数: 58
Process Algebra with Recursive Operations 递归运算的进程代数
Handbook of Process Algebra Pub Date : 1900-01-01 DOI: 10.1016/B978-044482830-9/50023-0
J. Bergstra, W. Fokkink, A. Ponse
{"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}
引用次数: 42
Probabilistic Extensions of Process Algebras 过程代数的概率扩展
Handbook of Process Algebra Pub Date : 1900-01-01 DOI: 10.1016/B978-044482830-9/50029-1
B. Jonsson, W. Yi, K. Larsen
{"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}
引用次数: 169
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信