Spatial and Epistemic Modalities in Constraint-Based Process Calculi
| Title | Spatial and Epistemic Modalities in Constraint-Based Process Calculi |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Knight, S, Palamidessi, C, Panangaden, P, Valencia, Frank, D |
| Conference Name | Proceedings of CONCUR |
| Publisher | Springer |
| Conference Location | Newcastle upon Tyne, UK |
| Keywords | Cloud Storage, Concurrency, Constraint Programming, Epistemic Logic, Knowledge, Modal logic, Social Networks |
| 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.} |
| URL | http://hal.archives-ouvertes.fr/hal-00761116 |
| DOI | 10.1007/978-3-642-32940-1 |
| Refereed Designation | Refereed |
PDF (Full text):
Work Package:
WP3
