scientific article
From MaRDI portal
Publication:3482822
zbMath0703.68075MaRDI QIDQ3482822
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
On fairness and randomness, Adding partial orders to linear temporal logic, A first-order logic characterization of safety and co-safety languages, Completing the temporal picture, Deductive verification of alternating systems, Metric temporal logic with durations, Verification of distributed programs using representative interleaving sequences, Characterization of temporal property classes, Proving partial order properties
