Introduction to Bisimulation and Coinduction

仿真对 计算机科学 过程微积分 等价(形式语言) 计算理论 模态逻辑 对偶(序理论) 情态动词 理论计算机科学 程序设计语言 数学 纯数学 化学 高分子化学
作者
Davide Sangiorgi
标识
DOI:10.1017/cbo9780511777110
摘要

Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intelligence, cognitive science, mathematics, modal logics, philosophy and physics. The best known instance of coinduction is bisimulation, mainly employed to define and prove equalities among potentially infinite objects: processes, streams, non-well-founded sets, etc. This book presents bisimulation and coinduction: the fundamental concepts and techniques and the duality with induction. Each chapter contains exercises and selected solutions, enabling students to connect theory with practice. A special emphasis is placed on bisimulation as a behavioural equivalence for processes. Thus the book serves as an introduction to models for expressing processes (such as process calculi) and to the associated techniques of operational and algebraic analysis.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
刚刚
1秒前
坚强砖家完成签到,获得积分10
2秒前
小蘑菇应助尊都假嘟采纳,获得30
2秒前
童小呦完成签到,获得积分20
3秒前
烟花应助zhy采纳,获得10
3秒前
木米的里发布了新的文献求助50
3秒前
4秒前
5秒前
FashionBoy应助水告采纳,获得80
5秒前
Flanker发布了新的文献求助10
5秒前
zhangxiao123完成签到,获得积分10
5秒前
叶颤完成签到,获得积分10
6秒前
Dicy发布了新的文献求助10
7秒前
聪明士晋发布了新的文献求助10
7秒前
英俊的觅波完成签到,获得积分10
8秒前
9秒前
今天只做一件事应助oyl采纳,获得10
9秒前
9秒前
袁向薇发布了新的文献求助20
10秒前
10秒前
丘比特应助积极的以亦采纳,获得10
10秒前
潇洒的冰烟完成签到,获得积分10
10秒前
10秒前
小蘑菇发布了新的文献求助10
11秒前
独特的翠芙完成签到,获得积分10
11秒前
aaaaa完成签到 ,获得积分10
11秒前
AUGKING27关注了科研通微信公众号
12秒前
13秒前
14秒前
15秒前
小璐sunny完成签到,获得积分10
15秒前
kinkin关注了科研通微信公众号
16秒前
学术嬴政发布了新的文献求助10
17秒前
享音发布了新的文献求助10
17秒前
17秒前
尊都假嘟发布了新的文献求助30
17秒前
18秒前
uu发布了新的文献求助10
18秒前
彭于晏应助活力小熊猫采纳,获得10
19秒前
高分求助中
Manual of Clinical Microbiology, 4 Volume Set (ASM Books) 13th Edition 1000
Sport in der Antike 800
De arte gymnastica. The art of gymnastics 600
少脉山油柑叶的化学成分研究 530
Electronic Structure Calculations and Structure-Property Relationships on Aromatic Nitro Compounds 500
Berns Ziesemer - Maos deutscher Topagent: Wie China die Bundesrepublik eroberte 500
Stephen R. Mackinnon - Chen Hansheng: China’s Last Romantic Revolutionary (2023) 500
热门求助领域 (近24小时)
化学 材料科学 医学 生物 有机化学 工程类 生物化学 纳米技术 物理 内科学 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 电极 光电子学 量子力学
热门帖子
关注 科研通微信公众号,转发送积分 2415066
求助须知:如何正确求助?哪些是违规求助? 2108382
关于积分的说明 5330670
捐赠科研通 1835602
什么是DOI,文献DOI怎么找? 914536
版权声明 561057
科研通“疑难数据库(出版商)”最低求助积分说明 489006