文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Paola Franceschi
发表
Labeled Event Structures: A Model for Observable Concurrency
Ugo Montanari, Ilaria Castellani, Paola Franceschi, 1982, Formal Description of Programming Concepts.