Publication:3384170
From MaRDI portal
zbMath1483.68133arXiv1709.02101MaRDI QIDQ3384170
John C. McCabe-Dansted, M. A. Reynolds
Publication date: 14 December 2021
Full work available at URL: https://arxiv.org/abs/1709.02101
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
03B44: Temporal logic
Uses Software