全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

A short note on Simulation and Abstraction

DOI: 10.4204/EPTCS.129.20

Full-Text   Cite this paper   Add to My Lib

Abstract:

This short note is written in celebration of David Schmidt's sixtieth birthday. He has now been active in the program analysis research community for over thirty years and we have enjoyed many interactions with him. His work on characterising simulations between Kripke structures using Galois connections was particularly influential in our own work on using probabilistic abstract interpretation to study Larsen and Skou's notion of probabilistic bisimulation. We briefly review this work and discuss some recent applications of these ideas in a variety of different application areas.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133