Logical Semantics of Types for Concurrency

DOI10.1007/978-3-540-73859-6_2zbMATH Open1214.68244OpenAlexW99817410MaRDI QIDQ3612481FDOQ3612481

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (11)

• Title not available (Why is that?)
• An algebra of behavioural types
• Deciding safety properties in infinite-state pi-calculus via behavioural types
• Type theory and concurrency
• Linear logic propositions as session types
• Safe session-based concurrency with shared linear state
• A generic type system for higher-order \(\Psi\)-calculi
• Spatial and behavioral types in the pi-calculus
• Spatial-behavioral types for concurrency and resource control in distributed systems
• Linear logical relations and observational equivalences for session-based concurrency
• Title not available (Why is that?)

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)