Temporal logics for the specification of performance and reliability
From MaRDI portal
Publication:5047168
DOI10.1007/BFb0023457zbMath1498.68155MaRDI QIDQ5047168
Publication date: 9 November 2022
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Related Items
A Generalisation of Stationary Distributions, and Probabilistic Program Algebra, The well-designed logical robot: learning and experience from observations to the Situation Calculus, Model checking mobile stochastic logic, Quantitative program logic and expected time bounds in probabilistic distributed algorithms., A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols, Comparative branching-time semantics for Markov chains