Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay
- 作者Thomas T. Hildebrandt
- 卷第294卷
- 印刷ISSN0304-3975
- 文件大小247.08KB
- 发表时间2003
- DOI10.1016/s0304-3975(01)00247-x
- 页码151-181
同作者推荐
The probability nesting gameDanièle Beauquier; Yoram Hirshfeld; Alexander Rabinovich; Anatol Slissenko · 2002
Polytime model checking for timed probabilistic computation tree logicDanièle Beauquier; Anatol Slissenko · 1998
A first order logic for specification of timed algorithms: basic properties and a decidable classDanièle Beauquier; Anatol Slissenko · 2001