设为首页收藏本站
开启辅助访问 切换到窄版

 找回密码
 To register

QQ登录

只需一步，快速开始

扫一扫，访问微社区

  • ALL
  • Journals
  • Books

派博传思国际中心 »期刊书目

› BOOKS
› BOOKS with Alphabet C (Ca, Cb,Cc, Cd, Ce…... )

1234567下一页
返回列表

Titlebook: Concurrency: Theory, Language, and Architecture; UK/Japan Workshop, O Akinori Yonezawa,Takayasu Ito Conference proceedings 1991 Springer-Ve

[复制链接]
查看: 26417|回复: 60
发表于 2025-3-21 18:11:59 | 显示全部楼层 |阅读模式
书目名称Concurrency: Theory, Language, and Architecture
副标题UK/Japan Workshop, O
编辑Akinori Yonezawa,Takayasu Ito
视频video
丛书名称Lecture Notes in Computer Science
图书封面Titlebook: Concurrency: Theory, Language, and Architecture; UK/Japan Workshop, O Akinori Yonezawa,Takayasu Ito Conference proceedings 1991 Springer-Ve
描述This volume is a collection of papers on topics focused around concurrency, based on research work presented at the UK/Japan Workshop held at Wadham College, Oxford, September 25-27, 1989. The volume is organized into four parts: - Papers on theoretical aspects of concurrency which reflect strong research activities in the UK, including theories on CCS and temporal logic RDL. - Papers on object orientation and concurrent languages which reflect major research activities on concurrency in Japan. The languages presented include extensions of C, Prolog and Lisp as well as object-based concurrent languages. - Papers on parallel architectures and VLSI logic, including a rewrite rule machine, a graph rewriting machine, and a dataflow architecture. - An overview of the workshop including the abstracts of the talks and the list of participants. The appendix gives a brief report of the first UK/Japan Workshop in Computer Science, held at Sendai, Japan, July 6-9, 1987.
出版日期Conference proceedings 1991
关键词Lisp; Programmiersprache; Programming language; Theorie; VLSI; computer architecture; concurrency; logic; ob
版次1
doihttps://doi.org/10.1007/3-540-53932-8
isbn_softcover978-3-540-53932-2
isbn_ebook978-3-540-46452-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer-Verlag Berlin Heidelberg 1991
The information of publication is updating

书目名称Concurrency: Theory, Language, and Architecture影响因子(影响力)




书目名称Concurrency: Theory, Language, and Architecture影响因子(影响力)学科排名




书目名称Concurrency: Theory, Language, and Architecture网络公开度




书目名称Concurrency: Theory, Language, and Architecture网络公开度学科排名




书目名称Concurrency: Theory, Language, and Architecture被引频次




书目名称Concurrency: Theory, Language, and Architecture被引频次学科排名




书目名称Concurrency: Theory, Language, and Architecture年度引用




书目名称Concurrency: Theory, Language, and Architecture年度引用学科排名




书目名称Concurrency: Theory, Language, and Architecture读者反馈




书目名称Concurrency: Theory, Language, and Architecture读者反馈学科排名




单选投票, 共有 1 人参与投票
1.jpg
 

1票 100.00%

Perfect with Aesthetics
2.jpg
 

0票 0.00%

Better Implies Difficulty
3.jpg
 

0票 0.00%

Good and Satisfactory
4.jpg
 

0票 0.00%

Adverse Performance
5.jpg
 

0票 0.00%

Disdainful Garbage
您所在的用户组没有投票权限
新石器时代
回复

举报

发表于 2025-3-21 20:50:57 | 显示全部楼层
Keyao Zhu,Hongyue Zhu,Biswanath Mukherjee logics the logic of execution has the 2-level structures:.The logic of execution is more expressible than Girard‘s Linear Logic, since it treats various modes of execution, including [V],[|] and [#]. Some remarks are given in connection with the traditional logics, and some topics for future study
nominal
回复

举报

发表于 2025-3-22 03:09:25 | 显示全部楼层
痴呆
回复

举报

发表于 2025-3-22 06:39:44 | 显示全部楼层
Traffic Mining Applied to Police Activities redundancy into coding, we can construct a coding under which every digit of a result depends only on 2 digits of an operand for any unary operations. These results are closely related with a state assignment problem of finite state machines. The above 2-locally computable coding derives a state as
ITCH
回复

举报

发表于 2025-3-22 09:32:07 | 显示全部楼层
An introduction to modal and temporal logics for CCS,
plasma-cells
回复

举报

发表于 2025-3-22 14:18:33 | 显示全部楼层
medieval
回复

举报

发表于 2025-3-22 19:07:09 | 显示全部楼层
Logic of execution: An outline, logics the logic of execution has the 2-level structures:.The logic of execution is more expressible than Girard‘s Linear Logic, since it treats various modes of execution, including [V],[|] and [#]. Some remarks are given in connection with the traditional logics, and some topics for future study
medieval
回复

举报

发表于 2025-3-22 22:28:18 | 显示全部楼层
motor-unit
回复

举报

发表于 2025-3-23 03:54:34 | 显示全部楼层
的事物
回复

举报

发表于 2025-3-23 09:28:01 | 显示全部楼层
空气传播
回复

举报

下一页 »
1234567下一页
返回列表
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-7-1 14:39
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表