发布求助
文献互助 智能选刊 最新文献

Concurrency: Theory, Language, And Architecture最新文献

筛选
英文 中文
The Computational Field Model for Open Distributed Environments 开放分布环境的计算场模型
Concurrency: Theory, Language, And Architecture Pub Date : 1991-04-01 DOI: 10.1007/3-540-53932-8_48
M. Tokoro, Kohei Honda
{"title":"The Computational Field Model for Open Distributed Environments","authors":"M. Tokoro, Kohei Honda","doi":"10.1007/3-540-53932-8_48","DOIUrl":"https://doi.org/10.1007/3-540-53932-8_48","url":null,"abstract":"","PeriodicalId":351310,"journal":{"name":"Concurrency: Theory, Language, And Architecture","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124826182","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}
引用次数: 4
Premature Return - Another Interpretation of the Future Construct 过早回归——对未来结构的另一种解释
Concurrency: Theory, Language, And Architecture Pub Date : 1991-04-01 DOI: 10.1007/3-540-53932-8_52
T. Yuasa
{"title":"Premature Return - Another Interpretation of the Future Construct","authors":"T. Yuasa","doi":"10.1007/3-540-53932-8_52","DOIUrl":"https://doi.org/10.1007/3-540-53932-8_52","url":null,"abstract":"","PeriodicalId":351310,"journal":{"name":"Concurrency: Theory, Language, And Architecture","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114595328","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}
引用次数: 1
A Parallel Object Oriented Language FLENG++ and Its Control System on the Parallel Machine PIE64 面向对象并行语言fleng++及其在PIE64上的控制系统
Concurrency: Theory, Language, And Architecture Pub Date : 1991-04-01 DOI: 10.1007/3-540-53932-8_50
Hidehiko Tanaka
{"title":"A Parallel Object Oriented Language FLENG++ and Its Control System on the Parallel Machine PIE64","authors":"Hidehiko Tanaka","doi":"10.1007/3-540-53932-8_50","DOIUrl":"https://doi.org/10.1007/3-540-53932-8_50","url":null,"abstract":"","PeriodicalId":351310,"journal":{"name":"Concurrency: Theory, Language, And Architecture","volume":"157 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116603460","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}
引用次数: 3
An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism ANDOR-II的运算语义，ANDOR-II是一种具有与或并行性的并行逻辑编程语言
Concurrency: Theory, Language, And Architecture Pub Date : 1991-04-01 DOI: 10.1007/3-540-53932-8_51
A. Takeuchi, Kazuko Takahashi
{"title":"An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism","authors":"A. Takeuchi, Kazuko Takahashi","doi":"10.1007/3-540-53932-8_51","DOIUrl":"https://doi.org/10.1007/3-540-53932-8_51","url":null,"abstract":"","PeriodicalId":351310,"journal":{"name":"Concurrency: Theory, Language, And Architecture","volume":"53 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128098382","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}
引用次数: 2
Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency 分析TMFS:实时并发中的不确定性研究
Concurrency: Theory, Language, And Architecture Pub Date : 1991-04-01 DOI: 10.1007/3-540-53932-8_43
G. M. Reed, A. W. Roscoe
{"title":"Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency","authors":"G. M. Reed, A. W. Roscoe","doi":"10.1007/3-540-53932-8_43","DOIUrl":"https://doi.org/10.1007/3-540-53932-8_43","url":null,"abstract":"","PeriodicalId":351310,"journal":{"name":"Concurrency: Theory, Language, And Architecture","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115643655","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}
引用次数: 13
Graph Rewriting as a Computational Model 图重写作为一种计算模型
Concurrency: Theory, Language, And Architecture Pub Date : 1991-04-01 DOI: 10.1007/3-540-53932-8_54
D. McBurney, M. Sleep
{"title":"Graph Rewriting as a Computational Model","authors":"D. McBurney, M. Sleep","doi":"10.1007/3-540-53932-8_54","DOIUrl":"https://doi.org/10.1007/3-540-53932-8_54","url":null,"abstract":"","PeriodicalId":351310,"journal":{"name":"Concurrency: Theory, Language, And Architecture","volume":"82 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131473130","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}
引用次数: 5
Using the Temporal Logic RDL for Design Specifications 在设计规范中使用时序逻辑RDL
Concurrency: Theory, Language, And Architecture Pub Date : 1991-04-01 DOI: 10.1007/3-540-53932-8_44
D. Gabbay, I. Hodkinson, A. Hunter
{"title":"Using the Temporal Logic RDL for Design Specifications","authors":"D. Gabbay, I. Hodkinson, A. Hunter","doi":"10.1007/3-540-53932-8_44","DOIUrl":"https://doi.org/10.1007/3-540-53932-8_44","url":null,"abstract":"","PeriodicalId":351310,"journal":{"name":"Concurrency: Theory, Language, And Architecture","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1991-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115584803","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}
引用次数: 5
Some Results on the pi-Calculus 关于微积分的一些结果
Concurrency: Theory, Language, And Architecture Pub Date : 1989-09-25 DOI: 10.1007/3-540-53932-8_42
D. Walker
{"title":"Some Results on the pi-Calculus","authors":"D. Walker","doi":"10.1007/3-540-53932-8_42","DOIUrl":"https://doi.org/10.1007/3-540-53932-8_42","url":null,"abstract":"","PeriodicalId":351310,"journal":{"name":"Concurrency: Theory, Language, And Architecture","volume":"38 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121003978","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}
引用次数: 3
首页 上一页
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学术文献互助群
群 号：481959085
Book学术官方微信