scientific article; zbMATH DE number 7319035

zbMath1457.68193arXiv1108.4470MaRDI QIDQ4965863

Iain Phillips, Irek Ulidowski

Publication date: 10 March 2021

Full work available at URL: https://arxiv.org/abs/1108.4470

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Reversibility in the higher-order \(\pi\)-calculus ⋮ ST-structures ⋮ Belief, knowledge, lies and other utterances in an algebra for space and extrusion ⋮ Characterising spectra of equivalences for event structures, logically ⋮ Characterizing right inverses for spatial constraint systems with applications to modal logic

This page was built for publication: