Observing Distributed Computation. A Dynamic-Epistemic Approach
From MaRDI portal
Publication:3612502
DOI10.1007/978-3-540-73859-6_26zbMath1214.68386MaRDI QIDQ3612502
Publication date: 10 March 2009
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73859-6_26
68T27: Logic in artificial intelligence
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
A spatial equational logic for the applied \(\pi \)-calculus, A Spatial Equational Logic for the Applied π-Calculus, Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes, A Complete Axiomatic System for a Process-Based Spatial Logic
Uses Software