Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Modal logics for mobile processes
Selected papers of the 3rd workshop on Concurrency and compositionality
Reasoning about knowledge
Model checking mobile processes
Information and Computation
Extensionality and intensionality of the ambient logics
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modal and temporal properties of processes
Modal and temporal properties of processes
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Dynamic Logic
Reasoning about Information Change
Journal of Logic, Language and Information
The logic of public announcements, common knowledge, and private suspicions
The logic of public announcements, common knowledge, and private suspicions
A spatial logic for concurrency (part I)
Information and Computation - TACS 2001
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Deciding validity in a spatial logic for trees
Journal of Functional Programming
Decidable extensions of hennessy-milner logic
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A Complete Axiomatic System for a Process-Based Spatial Logic
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
A Spatial Equational Logic for the Applied Π-Calculus
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
An Epistemic Predicate CTL* for Finite Control π-Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Decidability of modular logics for concurrency
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Hi-index | 0.00 |
We propose a new logic designed for modelling and reasoning about information flow and information exchange between spatially located interconnected agents witnessing a distributed computation. The intention is to trace the process of knowledge acquisition and its dynamics in the context of distributed systems. Underpinning on the dual algebraical-coalgebraical characteristics of process calculi, we design a decidable and completely axiomatized logic that combines the process-algebraical/equational and the modal/coequational features and is developed for process-algebraical semantics.