scientific article
From MaRDI portal
Publication:2844811
zbMath1270.03052MaRDI QIDQ2844811
Marino Miculan, Ivan Scagnetto
Publication date: 19 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104805073
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts ⋮ A general overview of formal languages for individual-based modelling of ecosystems ⋮ A Coq Library for Verification of Concurrent Programs
