scientific article; zbMATH DE number 3624762
From MaRDI portal
Publication:4187287
zbMath0402.68009MaRDI QIDQ4187287
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
ProcessorsTemporal LogicFair SchedulingProgramming ConstructsTemporal Semantics of Concurrent Programs
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)
Related Items (17)
Specification and verification of database dynamics ⋮ The Birth of Model Checking ⋮ A formal system for parallel programs in discrete time and space ⋮ Branching versus linear logics yet again ⋮ Unnamed Item ⋮ A unified approach for studying the properties of transition systems ⋮ Unnamed Item ⋮ Process logic: Expressiveness, decidability, completeness ⋮ ``Most of leads to undecidability: failure of adding frequencies to LTL ⋮ On using temporal logic for refinement and compositional verification of concurrent systems ⋮ Meanings of Model Checking ⋮ ${\cal B}$ -Tropos ⋮ Semantics of algorithmic languages ⋮ Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems ⋮ Port automata and the algebra of concurrent porcesses ⋮ A generalized nexttime operator in temporal logic ⋮ On Obligations
This page was built for publication: