The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
First steps in modal logic
Reasoning about knowledge
Nondeterminism and infinite computations in constraint programming
Selected papers of the workshop on Topology and completion in semantics
Handbook of logic in computer science (vol. 3)
Confluence in concurrent constraint programming
Theoretical Computer Science - Special issue on algebraic methodology and software technology
Distributed concurrent constraint programming
Fundamenta Informaticae - Special issue on foundations of constraint programming
Theoretical Computer Science
Linear concurrent constraint programming: operational and phase semantics
Information and Computation
Distributed Algorithms
A logical view of concurrent constraint programming
Nordic Journal of Computing
A Hyperdoctrinal View of Concurrent Constraint Programming
Proceedings of the REX Workshop on Sematics: Foundations and Applications
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Concurrent constraint programming languages
Concurrent constraint programming languages
A spatial logic for concurrency (part I)
Information and Computation - TACS 2001
A spatial logic for concurrency--II
Theoretical Computer Science - Special issue: Foundations of wide area network computing
Information hiding, anonymity and privacy: a modular approach
Journal of Computer Security - Special issue on WITS'02
Knowledge and Information in Probabilistic Systems
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Epistemic Logic for the Applied Pi Calculus
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Psi-calculi: Mobile Processes, Nominal Data, and Logic
LICS '09 Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science
CC-Pi: a constraint-based language for specifying service level agreements
ESOP'07 Proceedings of the 16th European conference on Programming
Operational and epistemic approaches to protocol analysis: bridging the gap
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Efficient computation of program equivalence for confluent concurrent constraint programming
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
A general proof system for modalities in concurrent constraint programming
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
| Hi-index | 0.00 |
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.