SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
已入深夜，您辛苦了！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！祝你早点完成任务，早点休息，好梦！
The connection between an event structure semantics and an operational semantics forTCSP
操作语义
并发
交错
语义学（计算机科学）
事件（粒子物理）
计算机科学
递归（计算机科学）
计算理论
理论计算机科学
程序设计语言
一致性（知识库）
连接（主束）
数学
人工智能
物理
操作系统
量子力学
几何学
作者
Christel Baier,
Mila Majster-Cederbaum
出处
期刊：
Acta Informatica
[Springer Science+Business Media]
日期：1994-01-01
卷期号：31 (1): 81-104
被引量：23
标识
DOI：10.1007/bf01178923
求助该文献
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
JamesPei
的
应助
被
学术混子
采纳，获得
10
1秒前
不打地洞的土拨鼠
完成签到，获得积分
10
6秒前
wj
完成签到
，获得积分
10
7秒前
完美世界
上传了
应助文件
7秒前
song
关闭了
song
的
文献求助
10秒前
微雨
完成签到，获得积分
10
10秒前
干净傲霜
完成签到
，获得积分
10
11秒前
1394980266
发布了新的
文献求助
10
12秒前
小蘑菇
的
应助
被
阿哈
采纳，获得
10
14秒前
JamesPei
上传了
应助文件
22秒前
科研通AI6.3
上传了
应助文件
24秒前
NexusExplorer
的
应助
被
超帅秋双
采纳，获得
10
24秒前
向上的小v
完成签到
，获得积分
10
25秒前
学术混子
发布了新的
文献求助
10
27秒前
史前巨怪
完成签到，获得积分
0
27秒前
Akim
上传了
应助文件
33秒前
CodeCraft
上传了
应助文件
33秒前
123
完成签到，获得积分
10
34秒前
adaadlj;a
发布了新的
文献求助
10
36秒前
keyan
的
应助
被
超帅秋双
采纳，获得
80
36秒前
风子
发布了新的
文献求助
10
38秒前
新定义
完成签到，获得积分
10
38秒前
hpppp
的
应助
被
song
采纳，获得
10
41秒前
hpppp
的
应助
被
song
采纳，获得
10
41秒前
zz
发布了新的
文献求助
10
44秒前
十年晨曦
发布了新的
文献求助
10
45秒前
木子
完成签到
，获得积分
10
53秒前
情怀
的
应助
被
学术混子
采纳，获得
10
58秒前
充电宝
的
应助
被
zz
采纳，获得
10
1分钟前
超帅秋双
完成签到，获得积分
10
1分钟前
池雨
完成签到
，获得积分
10
1分钟前
落寞代桃
完成签到
，获得积分
10
1分钟前
zhangli
完成签到，获得积分
10
1分钟前
隐形曼青
的
应助
被
王嘻嘻
采纳，获得
10
1分钟前
梨儿
发布了新的
文献求助
10
1分钟前
申申来啦
完成签到，获得积分
10
1分钟前
yiksing
完成签到，获得积分
10
1分钟前
loii
举报
年薪百万
的
求助
涉嫌违规
1分钟前
隐形曼青
上传了
应助文件
1分钟前
爱吃辣条
完成签到
，获得积分
20
1分钟前
高分求助中
Cronologia da história de Macau
1600
Treatment response-adapted risk index model for survival prediction and adjuvant chemotherapy selection in nonmetastatic nasopharyngeal carcinoma
1000
Lloyd's Register of Shipping's Approach to the Control of Incidents of Brittle Fracture in Ship Structures
1000
BRITTLE FRACTURE IN WELDED SHIPS
1000
Intentional optical interference with precision weapons (in Russian) Преднамеренные оптические помехи высокоточному оружию
1000
Atlas of Anatomy 5th original digital 2025的PDF高清电子版（非压缩版，大小约400-600兆，能更大就更好了）
1000
Toughness acceptance criteria for rack materials and weldments in jack-ups
800
热门求助领域
（近24小时）
化学
材料科学
医学
生物
工程类
有机化学
纳米技术
计算机科学
化学工程
生物化学
物理
复合材料
内科学
催化作用
物理化学
光电子学
细胞生物学
基因
电极
遗传学
热门帖子
关注
科研通微信公众号，转发送积分
6195029
求助须知：如何正确求助？哪些是违规求助？
8022121
关于积分的说明
16695901
捐赠科研通
5290259
什么是DOI，文献DOI怎么找？
2819497
邀请新用户注册赠送积分活动
1799194
关于科研通互助平台的介绍
1662130
今日热心研友
大力的灵雁
590
伊比利亚的微风
4
330
cyhisdog
26
80
燕子
270
干净的琦
14
60
无极微光
6
80
GingerF
10
Xhan
5
50
keyan
80
喜东东
6
10
Dean
50
hpppp
3
20
ephore
40
昏睡的觅松
40
2052669099
4
Blank
1
30
shiguangwz
40
xzy998
20
iNk
20
yinh
20
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
大力的灵雁
伊比利亚的微风
cyhisdog
燕子
干净的琦
无极微光
GingerF
Xhan
keyan
喜东东
Dean
hpppp
ephore
昏睡的觅松
2052669099
Blank
shiguangwz
xzy998
iNk
yinh
皖公网安备34019202002308
