#### Filter Results:

- Full text PDF available (78)

#### Publication Year

1981

2017

- This year (1)
- Last 5 years (24)
- Last 10 years (55)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Jules Desharnais, Bernhard Möller, Georg Struth
- ACM Trans. Comput. Log.
- 2006

We propose Kleene algebra with domain (KAD), an extension of Kleene algebra by simple equational axioms for a domain and a codomain operation. KAD considerably augments the expressiveness of Kleene algebra, in particular for the specification and analysis of programs and state transition systems. We develop the basic calculus, present the most interesting… (More)

- C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
- J. Log. Algebr. Program.
- 2011

A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands for sequential execution and the other for concurrent execution of program components. After introducing this motivating concrete application, we investigate its abstract… (More)

- C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
- CONCUR
- 2009

A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange law. We show applicability of the algebra to a partially-ordered trace model of program execution semantics and demonstrate its usefulness by validating familiar proof rules for sequential… (More)

- Bernhard Möller, Rolf Ossmer, Bernard H. Howard, Gerhard Gottschalk, Hans Joerg Hippe
- Archives of Microbiology
- 2004

A new genus of strictly anaerobic, gram-negative, banana-shaped bacteria is described. Cells formed spores and were motile by means of up to 15 laterally inserted flagella. Nitrate or sulfate were not used as electron acceptor. Organic substrates that were fermented included N-methyl compounds, such as betaine, N,N-dimethylglycine and sarcosine, primary… (More)

- Bernhard Möller, Georg Struth
- Theor. Comput. Sci.
- 2006

Modal Kleene algebras are Kleene algebras enriched by forward and backward box and diamond operators. We formalise the symmetries of these operators as Galois connections, complemetarities and dualities. We study their properties in the associated operator algebras and show that the axioms of relation algebra are theorems at the operator level. Modal Kleene… (More)

- Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner
- Sci. Comput. Program.
- 2010

Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along different lines of research, different notions of a feature have been developed. Although these notions have similar goals, no common basis for evaluation, comparison, and integration… (More)

- Friedrich L. Bauer, Herbert Ehler, +4 authors Peter Pepper
- Lecture Notes in Computer Science
- 1987

- Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper
- IEEE Trans. Software Eng.
- 1989

- Friedrich L. Bauer, Rudolf Berghammer, +15 authors Hans Wössner
- Lecture Notes in Computer Science
- 1985

Change your habit to hang or waste the time to only chat with your friends. It is done by your everyday, don't you feel bored? Now, we will show you the new habit that, actually it's a very old habit to do that can make your life more qualified. When feeling bored of always chatting with your friends all free time, you can find the book enPDF the munich… (More)

- Bernhard Möller
- Sci. Comput. Program.
- 2007

We propose a relaxation of Kleene algebra by giving up strictness and right-distributivity of composition. This allows the subsumption of Dijkstra’s computation calculus, Cohen’s omega algebra and von Wright’s demonic refinement algebra. Moreover, by adding domain and codomain operators we can also incorporate modal operators. We show that predicate… (More)