proceeding Papers Observing Distributed Computation. A Dynamic-Epistemic Approach


Abstract

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.



Paper Details

Authors

R. Mardare

Download

/var/papers/PP/Paper - 2007-23.pdf

Language

English
.