TY - GEN
T1 - Spatial and epistemic modalities in constraint-based process calculi
AU - Knight, Sophia
AU - Palamidessi, Catuscia
AU - Panangaden, Prakash
AU - Valencia, Frank D.
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84866655607&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-32940-1_23
DO - 10.1007/978-3-642-32940-1_23
M3 - Conference contribution
AN - SCOPUS:84866655607
SN - 9783642329395
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 317
EP - 332
BT - Concurrency Theory - 23rd International Conference, CONCUR 2012, Proceedings
T2 - 23rd International Conference on Concurrency Theory, CONCUR 2012
Y2 - 4 September 2012 through 7 September 2012
ER -