scientific article; zbMATH DE number 7319028
From MaRDI portal
Publication:4965855
zbMath1457.68175arXiv1108.4464MaRDI QIDQ4965855
Luca Aceto, David de Frutos-Escrig, Miguel Palomino, I. Fábregas, Anna Ingólfsdóttir
Publication date: 10 March 2021
Full work available at URL: https://arxiv.org/abs/1108.4464
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
When Are Prime Formulae Characteristic? ⋮ When are prime formulae characteristic? ⋮ Encoding safety in \(\mathrm{CLL}_R\) ⋮ Refinement checking on parametric modal transition systems
This page was built for publication:
