Pages that link to "Item:Q3612502"
From MaRDI portal
The following pages link to Observing Distributed Computation. A Dynamic-Epistemic Approach (Q3612502):
Displaying 8 items.
- A spatial equational logic for the applied \(\pi \)-calculus (Q992517) (← links)
- On knowledge and communication complexity in distributed systems (Q1713923) (← links)
- A simplicial complex model for dynamic epistemic logic to study distributed task computability (Q2029604) (← links)
- Reasoning about distributed information with infinitely many agents (Q2043805) (← links)
- An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes (Q2825420) (← links)
- A Spatial Equational Logic for the Applied π-Calculus (Q3541032) (← links)
- Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes (Q3582736) (← links)
- A Complete Axiomatic System for a Process-Based Spatial Logic (Q3599152) (← links)
