scientific article
From MaRDI portal
Publication:3385648
Publication date: 20 December 2021
Full work available at URL: https://arxiv.org/abs/1908.08634
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- Reasoning about common knowledge with infinitely many agents
- Nondeterminism and infinite computations in constraint programming
- On validity in modelization of musical problems by CCP
- Characterizing right inverses for spatial constraint systems with applications to modal logic
- Linear concurrent constraint programming: Operational and phase semantics
- Reasoning about distributed information with infinitely many agents
- Deriving Inverse Operators for Modal Logic
- Knowledge and common knowledge in a distributed environment
- On the Measurement of Polarization
- Continuous Lattices and Domains
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Real-time rewriting logic semantics for spatial concurrent constraint programming
This page was built for publication:
