Descriptively complete process logic
From MaRDI portal
Publication:1134512
DOI10.1007/BF00286492zbMath0423.68005MaRDI QIDQ1134512
Publication date: 1980
Published in: Acta Informatica (Search for Journal in Brave)
Related Items (9)
The complementation problem for Büchi automata with applications to temporal logic ⋮ Trace Semantics for IPDL ⋮ A program logic to verify signal temporal logic specifications of hybrid systems ⋮ Mathematical modal logic: A view of its evolution ⋮ Process logic: Expressiveness, decidability, completeness ⋮ Propositional dynamic logic for concurrent programs ⋮ Dynamic linear time temporal logic ⋮ Process logic with regular formulas ⋮ An essay in combinatory dynamic logic
This page was built for publication: Descriptively complete process logic
