Logical semantics of types for concurrency

被引：0
作者：
Caires, Luis [1 ]
机构：
[1] Univ Nova Lisboa, Dept Informat, CITI, P-1200 Lisbon, Portugal
来源：
ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS | 2007年 / 4624卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We motivate and present a logical semantic approach to types for concurrency and to soundness of related systems. The approach is illustrated by the development of a generic type system for the pi-calculus, which may be instantiated for specific notions of typing by extension with adequate subtyping principles. Soundness of our type system is established using a logical predicate technique, based on a compositional spatial logic interpretation of types.
引用
收藏
页码：16 / +
页数：3
相关论文
共 23 条
[1]   A spatial logic for concurrency - II [J].
Caires, L ;
Cardelli, L .
THEORETICAL COMPUTER SCIENCE, 2004, 322 (03) :517-565
[2]   A spatial logic for concurrency (part I) [J].
Caires, L ;
Cardelli, L .
INFORMATION AND COMPUTATION, 2003, 186 (02) :194-235
[3]  
CAIRES L, 2007, TGC 2006 2 INT S TRU
[4]  
CAIRES L, 2004, LNCS, V2987
[5]  
CAIRES L, 2007, 207 DEP INF FCTUNL
[6]  
CAIRES L, 2007, ELECT NOTES THEORETI
[7]  
Cardelli L., 2000, Conference Record of POPL'00: 27th ACM SIGPLAN-SIGACT. Symposium on Principles of Programming Languages. Papers Presented at the Symposium, P365, DOI 10.1145/325694.325742
[8]  
Castagna G, 2005, IEEE S LOG, P92
[9]  
Curry H.B., 1958, Combinatory Logic.
[10]   Subtyping for session types in the pi calculus [J].
Gay, S ;
Hole, M .
ACTA INFORMATICA, 2005, 42 (2-3) :191-225
123