Spatial and epistemic modalities in constraint-based process calculi

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

33 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationConcurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings
Pages317-332
Number of pages16
DOIs
StatePublished - 2012
Externally publishedYes
Event23rd International Conference on Concurrency Theory, CONCUR 2012 - Newcastle upon Tyne, United Kingdom
Duration: Sep 4 2012Sep 7 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7454 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other23rd International Conference on Concurrency Theory, CONCUR 2012
Country/TerritoryUnited Kingdom
CityNewcastle upon Tyne
Period9/4/129/7/12

Fingerprint

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

Cite this