Observing Distributed Computation. A Dynamic-Epistemic Approach

DOI10.1007/978-3-540-73859-6_26zbMath1214.68386OpenAlexW1607010325MaRDI QIDQ3612502

Radu Mardare

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

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 ⋮ A spatial equational logic for the applied \(\pi \)-calculus ⋮ An Epistemic Predicate CTL* for Finite Control π-Processes

Uses Software

• SLMC

This page was built for publication: Observing Distributed Computation. A Dynamic-Epistemic Approach