Paper Info
Title
Logical semantics of types for concurrency
Abstract
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 π-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.
Year
DOI
Venue
2007
10.1007/978-3-540-73859-6_2
CALCO
Keywords
Field
DocType
logical semantic approach,specific notion,logical predicate technique,compositional spatial logic interpretation,generic type system,logical semantics,adequate subtyping principle,type system,related system,polymorphism,satisfiability,programming language
Programming language,Non-classical logic,Computer science,Concurrency,Spatial logic,Theoretical computer science,Predicate (grammar),Soundness,Subtyping,Logical framework,Semantics of logic
Conference
Volume
ISSN
Citations 
4624
0302-9743
9
PageRank 
References 
Authors
0.63
19
1
Name
Order
Citations
PageRank
Luís Caires1103763.30