Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings
From MaRDI portal
Publication:1801315
zbMath0718.68002MaRDI QIDQ1801315
No author found.
Publication date: 5 June 1993
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Proceedingsconcurrent systemsSpecificationtemporal logicsTemporal logiccommunicating systemsAltrincham (UK)
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
On the universal and existential fragments of the \(\mu\)-calculus, The satisfiability problem for a quantitative fragment of PCTL, A formalisation of violation, error recovery, and enforcement in the bit transmission problem, \textit{Once} and \textit{for all}, The satisfiability problem for a quantitative fragment of PCTL
