Semantic structures for spatially-distributed multi-agent systems

MaRDI QIDQ3385648zbMATH OpenFDO

Authors Frank D. Valencia

Publication date 20 December 2021

Full work available at URL https://arxiv.org/abs/1908.08634, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2019.3

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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

Cites work

• scientific article; zbMATH DE number 1809625 (Why is no real title available?)
• scientific article; zbMATH DE number 1337862 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Belief, knowledge, lies and other utterances in an algebra for space and extrusion
• CONCUR 2012 -- concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4--7, 2012. Proceedings
• Characterizing right inverses for spatial constraint systems with applications to modal logic
• Continuous Lattices and Domains
• Deriving inverse operators for modal logic
• Knowledge and common knowledge in a distributed environment
• Linear concurrent constraint programming: Operational and phase semantics
• Nondeterminism and infinite computations in constraint programming
• On the Measurement of Polarization
• On validity in modelization of musical problems by CCP
• Real-time rewriting logic semantics for spatial concurrent constraint programming
• Reasoning about common knowledge with infinitely many agents
• Reasoning about distributed information with infinitely many agents
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

Cited in

(3)

• Semantic agent systems. Foundations and applications.
• Reasoning about distributed information with infinitely many agents
• Spatial-Behavioral Types, Distributed Services, and Resources

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)