Mathematics of Program Construction
From MaRDI portal
Publication:5313089
DOI10.1007/b98756zbMath1106.68065OpenAlexW2492557863MaRDI QIDQ5313089
Publication date: 26 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98756
Algebraic theory of languages and automata (68Q70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Algebras of modal operators and partial correctness ⋮ Non-associative Kleene Algebra and Temporal Logics ⋮ Normal design algebra ⋮ Latest News about Demonic Algebra with Domain ⋮ Reactive Probabilistic Programs and Refinement Algebra ⋮ Knowledge and Games in Modal Semirings ⋮ Relations into algebras of probabilistic distributions ⋮ Using probabilistic Kleene algebra pKA for protocol verification ⋮ Algebraic reasoning for probabilistic action systems and while-loops ⋮ Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic ⋮ Multirelational representation theorems for complete idempotent left semirings. ⋮ Kleene under a modal demonic star
