Spatial and Epistemic Modalities in Constraint-Based Process Calculi - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Spatial and Epistemic Modalities in Constraint-Based Process Calculi

Résumé

We introduce spatial and epistemic process calculi for reasoning about spatial information and knowledge distributed among the agents of a system. We introduce domain-theoretical structures to represent spatial and epistemic information. We provide operational and denotational techniques for reasoning about the potentially infinite behaviour of spatial and epistemic processes. We also give compact representations of infinite objects that can be used by processes to simulate announcements of common knowledge and global information
Fichier principal
Vignette du fichier
eccp.pdf (345.93 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00761116 , version 1 (05-12-2012)

Identifiants

Citer

Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia. Spatial and Epistemic Modalities in Constraint-Based Process Calculi. CONCUR 2012 - 23rd International Conference on Concurrency Theory, Sep 2012, Newcastle upon Tyne, United Kingdom. pp.317-332, ⟨10.1007/978-3-642-32940-1⟩. ⟨hal-00761116⟩
601 Consultations
384 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More