CaSPiS: a calculus of sessions, pipelines and services
BOREALE, MICHELE; BRUNI, ROBERTO; DE NICOLA, ROCCO; LORETI, MICHELE
- 期刊名称Mathematical Structures in Computer Science
- 作者BOREALE, MICHELE; BRUNI, ROBERTO; DE NICOLA, ROCCO; LORETI, MICHELE
- 卷第25卷
- 期第3期
- 印刷ISSN0960-1295
- 电子ISSN1469-8072
- 文件大小913.36KB
- 发表时间2015-03
- DOI10.1017/S0960129512000953
- 页码666-709