发布文献求助

The connection between an event structure semantics and an operational semantics forTCSP

操作语义 并发 交错 语义学（计算机科学） 事件（粒子物理） 计算机科学 递归（计算机科学） 计算理论 理论计算机科学 程序设计语言 一致性（知识库） 连接（主束） 数学 人工智能 物理 操作系统 量子力学 几何学
作者
Christel Baier,Mila Majster-Cederbaum
出处
期刊：Acta Informatica [Springer Nature]
日期：1994-01-01 卷期号：31 (1): 81-104 被引量：23
标识
DOI：10.1007/bf01178923
相关文献
科研通智能强力驱动
Strongly Powered by AbleSci AI
祝大家在新的一年里科研腾飞
更新
大幅提高文件上传限制，最高150M (2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
1秒前
2秒前
2秒前
酆天菱发布了新的文献求助10
3秒前
的程度发布了新的文献求助10
6秒前
6秒前
周同学发布了新的文献求助10
8秒前
moumou发布了新的文献求助10
9秒前
10秒前
11秒前
13秒前
酆天菱完成签到，获得积分10
17秒前
17秒前
19秒前
20秒前
脑洞疼的应助被czb采纳，获得10
21秒前
23秒前
bkagyin的应助被无物采纳，获得30
23秒前
Uaena完成签到，获得积分10
25秒前
陈甸甸完成签到 ，获得积分10
26秒前
28秒前
29秒前
杳鸢的应助被畅快寄容采纳，获得10
32秒前
czb发布了新的文献求助10
32秒前
无物发布了新的文献求助30
34秒前
小蓝完成签到，获得积分10
38秒前
科研小达人完成签到，获得积分10
39秒前
星辰大海的应助被渡梦不渡身采纳，获得30
42秒前
43秒前
隐形曼青的应助被czb采纳，获得10
44秒前
我是老大的应助被zmy采纳，获得10
45秒前
Orion完成签到，获得积分10
46秒前
50秒前
51秒前
FashionBoy的应助被胡八一采纳，获得10
51秒前
xiaoz发布了新的文献求助10
52秒前
moumou发布了新的文献求助10
53秒前
ZKcrane发布了新的文献求助10
54秒前
zmy发布了新的文献求助10
54秒前
小蓝发布了新的文献求助10
55秒前
高分求助中
Востребованный временем 2500
Aspects of Babylonian celestial divination: the lunar eclipse tablets of Enūma Anu Enlil 1000
Kidney Transplantation: Principles and Practice 1000
The Higher Education System: Academic Organization in Cross-National Perspective 500
The Restraining Hand: Captivity for Christ in China 500
Encyclopedia of Mental Health Reference Work 400
Mercury and Silver Mining in the Colonial Atlantic 300
热门求助领域 （近24小时）
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 物理化学 催化作用 细胞生物学 免疫学 冶金
热门帖子
关注 科研通微信公众号，转发送积分 3374435
求助须知：如何正确求助？哪些是违规求助？ 2991268
关于积分的说明 8744954
捐赠科研通 2675143
什么是DOI，文献DOI怎么找？ 1465480
科研通“疑难数据库（出版商）”最低求助积分说明 677850
邀请新用户注册赠送积分活动 669473
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通