Dec 5, 2012 · We introduce domain-theoretical structures to represent spatial and epistemic infor- mation. We provide operational and denotational techniques ...

We introduce spatial and epistemic process calculi for reasoning about spatial information and knowledge distributed among the agents of a system.

Abstract. We introduce spatial and epistemic process calculi for reasoning about spatial information and knowledge distributed among the agents of a system.

We introduce spatial and epistemic process calculi for reasoning about spatial information and knowledge distributed among the agents of a system.

This work provides operational and denotational techniques for reasoning about the potentially infinite behaviour of spatial and epistemic processes and ...

We introduce spatial and epistemic process calculi for reasoning about spatial information and knowledge distributed among the agents of a system.

Jan 15, 2016 · We provide operational and denotational techniques for reasoning about the potentially infinite behaviour of spatial and epistemic processes. We ...

Dive into the research topics of 'Spatial and epistemic modalities in constraint-based process calculi'. Together they form a unique fingerprint. Sort by ...

Abstract: We introduce spatial and epistemic process calculi for reasoning about spatial information and knowledge distributed among the agents of a system. We ...

Title, Spatial and Epistemic Modalities in Constraint-Based Process Calculi ; Publication Type, Conference Paper ; Year of Publication, 2012 ; Authors, Knight, S, ...