Spatial and Epistemic Modalities in Constraint-Based Process Calculi

DOI10.1007/978-3-642-32940-1_23zbMath1364.68290OpenAlexW1769384601MaRDI QIDQ2914378

Catuscia Palamidessi, Sophia Knight, Prakash Panangaden, Frank D. Valencia

Publication date: 25 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32940-1_23

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (15)

On concurrent behaviors and focusing in linear logic ⋮ A Formal Model for Polarization under Confirmation Bias in Social Networks ⋮ Dynamic spaces in concurrent constraint programming ⋮ Trace Equivalence and Epistemic Logic to Express Security Properties ⋮ Deriving Inverse Operators for Modal Logic ⋮ Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ On subexponentials, focusing and modalities in concurrent systems ⋮ Slicing concurrent constraint programs ⋮ Unnamed Item ⋮ Counting and Computing Join-Endomorphisms in Lattices ⋮ Subexponential concurrent constraint programming ⋮ Unnamed Item ⋮ Characterizing right inverses for spatial constraint systems with applications to modal logic ⋮ Reasoning about distributed information with infinitely many agents ⋮ Models and emerging trends of concurrent constraint programming

This page was built for publication: Spatial and Epistemic Modalities in Constraint-Based Process Calculi