A spatial logic for concurrency (part I)
- 作者Luı́s Caires; Luca Cardelli
- 卷第186卷
- 期第2期
- 印刷ISSN0890-5401
- 电子ISSN1090-2651
- 文件大小399.84KB
- 发表时间2003
- DOI10.1016/s0890-5401(03)00137-8
- 页码194-235
同作者推荐
Local properties of query languagesGuozhu Dong; Leonid Libkin; Limsoon Wong · 2000
Relational expressive power of constraint query languagesBenedikt, Michael; Dong, Guozhu; Libkin, Leonid; Wong, Limsoon · Journal of the ACM · 1998
[ACM Press the fifteenth ACM SIGACT-SIGMOD-SIGART symposium - Montreal, Quebec, Canada (1996.06.04-1996.06.06)] Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '96 - Relational expressive power of constraint query languagesBenedikt, Michael; Dong, Guozhu; Libkin, Leonid; Wong, Limsoon · 1996