scientific article; zbMATH DE number 7357543

zbMath1462.68114arXiv1309.0896MaRDI QIDQ4992900

Matteo Mio, Alex K. Simpson

Publication date: 10 June 2021

Full work available at URL: https://arxiv.org/abs/1309.0896

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Many-valued logic (03B50) Temporal logic (03B44)

Related Items (4)

An expansion of basic logic with fixed points ⋮ Unnamed Item ⋮ Unnamed Item ⋮ OBLIGATION BLACKWELL GAMES AND P-AUTOMATA

This page was built for publication: