@inbook{ace1e9acbb064979abba5126f380f091,
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; 2nd International Conference on Algebra and Coalgebra in Computer Science - CALCO 2007, CALCO 2007 ; Conference date: 20-08-2007 Through 24-08-2007",
year = "2007",
month = aug,
day = "24",
doi = "10.1007/978-3-540-73859-6\_26",
language = "English",
isbn = "9783540738572",
volume = "4624",
series = "Lecture Notes in Computer Science",
publisher = "Springer-Verlag",
pages = "379--393",
editor = "Mossakowski, \{Till \} and Montanari, \{Ugo \} and Haveraaen, \{Magne \}",
booktitle = "Proceedings 2nd International Conference on Algebra and Coalgebra in Computer Science CALCO 2007",
}