B
Bernhard Möller
Researcher at Augsburg College
Publications - 138
Citations - 2790
Bernhard Möller is an academic researcher from Augsburg College. The author has contributed to research in topics: Kleene algebra & Kleene's recursion theorem. The author has an hindex of 31, co-authored 137 publications receiving 2713 citations. Previous affiliations of Bernhard Möller include Ludwig Maximilian University of Munich & University of Augsburg.
Papers
More filters
Journal ArticleDOI
Kleene algebra with domain
TL;DR: The basic calculus is developed, the most interesting models are presented, and applicability is demonstrated by two examples: algebraic reconstructions of Noethericity and propositional Hoare logic based on equational reasoning.
Posted Content
Kleene algebra with domain
TL;DR: Kaleene algebra with domain (KAD) as discussed by the authors is an extension of Kleene algebra, with two equational axioms for a domain and a codomain operation, respectively.
Journal ArticleDOI
Concurrent Kleene Algebra and its Foundations
TL;DR: A Concurrent Kleene Algebra is investigated in terms of a primitive independence relation between the traces, and a series of richer algebras are developed; the richest validates a proof calculus for programs similar to that of a Jones style rely/guarantee calculus.
Book
The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L
Friedrich L. Bauer,R. Berghammer,Manfred Broy,Walter Dosch,F. Geiselbrechtinger,Rupert Gnatz,E. Hangel,Wolfgang Hesse,Bernd Krieg-Brückner,Alfred Laut,T. Matzner,Bernhard Möller,Friederike Nickl,Helmuth Partsch,Peter Pepper,K. Samelson,Martin Wirsing,Hans Wössner +17 more
TL;DR: A good way to break the boredom in reading is choosing the munich project cip vol i the wide spectrum language cip l as the reading material.
Book ChapterDOI
Concurrent Kleene Algebra
TL;DR: A concurrent Kleene algebra is shown applicability of the algebra to a partially-ordered trace model of program execution semantics and its usefulness is demonstrated by validating familiar proof rules for sequential programs and for concurrent ones.