Semantic structures for spatially-distributed multi-agent systems
From MaRDI portal
Publication:3385648
Authors: Frank D. Valencia
Publication date: 20 December 2021
Full work available at URL: https://arxiv.org/abs/1908.08634
Recommendations
- Reasoning about distributed information with infinitely many agents
- scientific article; zbMATH DE number 7649937
- Spatial and epistemic modalities in constraint-based process calculi
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion
- On the expressiveness of spatial constraint systems
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Continuous Lattices and Domains
- Title not available (Why is that?)
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Linear concurrent constraint programming: Operational and phase semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the Measurement of Polarization
- Knowledge and common knowledge in a distributed environment
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion
- Nondeterminism and infinite computations in constraint programming
- CONCUR 2012 -- concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4--7, 2012. Proceedings
- Reasoning about common knowledge with infinitely many agents
- On validity in modelization of musical problems by CCP
- Characterizing right inverses for spatial constraint systems with applications to modal logic
- Deriving inverse operators for modal logic
- Reasoning about distributed information with infinitely many agents
- Real-time rewriting logic semantics for spatial concurrent constraint programming
Cited In (3)
This page was built for publication: Semantic structures for spatially-distributed multi-agent systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3385648)