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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-32940-1_23 | CONCUR |
Keywords | Field | DocType |
epistemic modality,global information,infinite object,common knowledge,epistemic information,epistemic process calculus,epistemic process,spatial information,compact representation,denotational technique,infinite behaviour,constraint-based process calculus | Epistemic modal logic,Spatial analysis,Epistemic modality,Concurrency,Computer science,Constraint programming,Theoretical computer science,Common knowledge,Artificial intelligence,Modal logic,Epistemology,Process calculus | Conference |
Volume | ISSN | Citations |
7454 | 0302-9743 | 21 |
PageRank | References | Authors |
0.79 | 18 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sophia Knight | 1 | 32 | 4.49 |
Catuscia Palamidessi | 2 | 2876 | 184.08 |
Prakash Panangaden | 3 | 2248 | 188.43 |
Frank D. Valencia | 4 | 423 | 31.32 |