Logical Semantics of Types for Concurrency

DOI10.1007/978-3-540-73859-6_2MaRDI QIDQ3612481zbMATH OpenOpenAlexFDO

Authors Luís Caires

Publication date 10 March 2009

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73859-6_2

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2118223
• A generic type system for the pi-calculus
• A generic type system for the -calculus
• A spatial logic for concurrency. I
• scientific article; zbMATH DE number 1104446

Cited in

(11)

• Type theory and concurrency
• Spatial and behavioral types in the pi-calculus
• An algebra of behavioural types
• Deciding safety properties in infinite-state pi-calculus via behavioural types
• scientific article; zbMATH DE number 2088359 (Why is no real title available?)
• Linear logical relations and observational equivalences for session-based concurrency
• scientific article; zbMATH DE number 2118223 (Why is no real title available?)
• Linear logic propositions as session types
• Safe session-based concurrency with shared linear state
• A generic type system for higher-order -calculi
• Spatial-behavioral types for concurrency and resource control in distributed systems

This page was built for publication: Logical Semantics of Types for Concurrency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612481)