scientific article; zbMATH DE number 7301459
From MaRDI portal
Publication:5146596
zbMath1456.68117MaRDI QIDQ5146596
Publication date: 26 January 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS2009.4
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)
This page was built for publication: