Theory and Implementation of a Real-Time Extension to the π-Calculus
π計算の新しい時間拡張の提案。稠密時間で時間待ち動作を導入。タイムアウトは τ。あるアクションが ready になってから発火するまでの時間を後続のプロセスで利用することが可能。等価関係は、open bisimilarity に今後 t 単位時間の間は時間経過に関して bisimilar であるという条件を追加して拡張したもの。
author="Ernesto Posse and Juergen Dingel",
title="{Theory and Implementation of a Real-Time Extension to the π-Calculus}",
booktitle="Formal Techniques for Distributed Systems",
publisher="Springer",
volume="6117",
series="LNCS",
pages="125--139",
year="2010"