scientific article; zbMATH DE number 1500662
From MaRDI portal
Publication:4501684
zbMath0948.03024MaRDI QIDQ4501684
Rocco De Nicola, Anna Labella, Flavio Corradini
Publication date: 4 September 2000
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) Temporal logic (03B44)
Related Items (4)
Resource bisimilarity and graded bisimilarity coincide ⋮ Unnamed Item ⋮ DYNAMIC GRADED EPISTEMIC LOGIC ⋮ Relating Structure and Power: Comonadic Semantics for Computational Resources
This page was built for publication:
