Publication:2863904
From MaRDI portal
zbMath1276.68119MaRDI QIDQ2863904
Marco Bernardo, Stefania Botta
Publication date: 4 December 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066107000424?np=y
03B45: Modal logic (including the logic of norms)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items