Logical Semantics of Types for Concurrency

Luís Manuel Marques da Costa Caires

doi:10.1007/978-3-540-73859-6_2

Logical Semantics of Types for Concurrency

Luís Manuel Marques da Costa Caires

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

13 Citations (Scopus)

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.

Original language	Unknown
Title of host publication	Lecture Notes in Computer Science
Pages	16-35
DOIs	https://doi.org/10.1007/978-3-540-73859-6_2
Publication status	Published - 1 Jan 2007
Event	Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007 - Duration: 1 Jan 2007 → …

Conference

Conference	Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007
Period	1/01/07 → …

Access to Document

10.1007/978-3-540-73859-6_2

Cite this

@inproceedings{be26513a5c094713a68ee623fd2742d6,

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.",

author = "Caires, {Lu{\'i}s Manuel Marques da Costa}",

year = "2007",

month = jan,

day = "1",

doi = "10.1007/978-3-540-73859-6_2",

language = "Unknown",

isbn = "978-3-540-73857-2",

pages = "16--35",

booktitle = "Lecture Notes in Computer Science",

note = "Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007 ; Conference date: 01-01-2007",

}

TY - GEN

T1 - Logical Semantics of Types for Concurrency

AU - Caires, Luís Manuel Marques da Costa

PY - 2007/1/1

Y1 - 2007/1/1

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-73859-6_2

DO - 10.1007/978-3-540-73859-6_2

M3 - Conference contribution

SN - 978-3-540-73857-2

SP - 16

EP - 35

BT - Lecture Notes in Computer Science

T2 - Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007

Y2 - 1 January 2007

ER -