@inproceedings{89c348c434fd4651a8c6c9ef3c4027d1,
title = "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.",
keywords = "distributed computation, modelling, dual algebraical-coalgebraical characteristics, bisimulation, calculi, formal methods",
author = "Radu Mardare",
note = "{\textcopyright} 2007 Springer-Verlag Berlin Heidelberg Mardare, R. (2007). Observing Distributed Computation. A Dynamic-Epistemic Approach. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds) Algebra and Coalgebra in Computer Science. CALCO 2007. Lecture Notes in Computer Science, vol 4624. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73859-6\_26",
year = "2007",
doi = "10.1007/978-3-540-73859-6\_26",
language = "English",
isbn = "9783540738572",
volume = "4624",
series = "Lecture Notes in Computer Science",
pages = "379--393",
editor = "Till Mossakowski and Ugo Montanari and Magne Haveraaen",
booktitle = "2nd International Conference on Algebra and Coalgebra in Computer Science - CALCO 2007",
}