Logical Semantics of Types for Concurrency

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 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 languageUnknown
Title of host publicationLecture Notes in Computer Science
Pages16-35
DOIs
Publication statusPublished - 1 Jan 2007
EventAlgebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007 -
Duration: 1 Jan 2007 → …

Conference

ConferenceAlgebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007
Period1/01/07 → …

Cite this