Kleene algebra with domain. Zbl 1367.68205
Desharnais, Jules; Möller, Bernhard; Struth, Georg |
|
2006
|
Concurrent Kleene algebra and its foundations. Zbl 1278.68176
Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian |
|
2011
|
Concurrent Kleene algebra. Zbl 1254.68172
Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian |
|
2009
|
Algebras of modal operators and partial correctness. Zbl 1086.68082
Möller, Bernhard; Struth, Georg |
|
2006
|
Fuzzy structural analysis using \(\alpha\)-level optimization. Zbl 1009.74053
Möller, B.; Graf, W.; Beer, M. |
|
2000
|
Kleene getting lazy. Zbl 1109.68060
Möller, Bernhard |
|
2007
|
Algebraic separation logic. Zbl 1260.03060
Dang, H.-H.; Höfner, P.; Möller, B. |
|
2011
|
Characterizing determinacy in Kleene algebras. Zbl 1004.68105
Desharnais, Jules; Möller, Bernhard |
|
2001
|
On locality and the exchange law for concurrent processes. Zbl 1343.68170
Hoare, C. A. R.; Hussain, Akbar; Möller, Bernhard; O’Hearn, Peter W.; Petersen, Rasmus Lerchedahl; Struth, Georg |
|
2011
|
Algebraic notions of termination. Zbl 1214.68185
Desharnais, Jules; Möller, Bernhard; Struth, Georg |
|
2011
|
Quantales and temporal logics. Zbl 1235.03051
Möller, Bernhard; Höfner, Peter; Struth, Georg |
|
2006
|
Algebraic specifications of reachable higher-order algebras. Zbl 0659.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin |
|
1988
|
Lazy Kleene algebra. Zbl 1106.68065
Möller, Bernhard |
|
2004
|
wp is wlp. Zbl 1185.68227
Möller, Bernhard; Struth, Georg |
|
2006
|
Programming in a wide spectrum language: A collection of examples. Zbl 0469.68003
Bauer, F. L.; Broy, M.; Dosch, W.; Gnatz, R.; Krieg-Brückner, B.; Laut, A.; Luckmann, M.; Matzner, T.; Möller, B.; Partsch, H.; Pepper, P.; Samelson, K.; Steinbrüggen, R.; Wirsing, M.; Wössner, H. |
|
1981
|
Termination in modal Kleene algebra. Zbl 1088.68619
Desharnais, Jules; Möller, Bernhard; Struth, Georg |
|
2004
|
Dijkstra, Floyd and Warshall meet Kleene. Zbl 1259.68243
Höfner, Peter; Möller, Bernhard |
|
2012
|
Foundations of concurrent Kleene algebra. Zbl 1267.68154
Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian |
|
2009
|
An algebra of hybrid systems. Zbl 1161.68032
Höfner, Peter; Möller, Bernhard |
|
2009
|
Towards pointer algebra. Zbl 0780.68090
Möller, Bernhard |
|
1993
|
Formal program development. IFIP TC2/WG 2.1 state-of-the-art report. Zbl 0825.00043
|
|
1993
|
Developments in concurrent Kleene algebra. Zbl 1344.68148
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Villard, Jules; Zhu, Huibiao; O’Hearn, Peter |
|
2014
|
Relational style laws and constructs of linear algebra. Zbl 1434.15016
Desharnais, Jules; Grinenko, Anastasiya; Möller, Bernhard |
|
2014
|
An algebraic calculus of database preferences. Zbl 1358.68087
Möller, Bernhard; Roocks, Patrick; Endres, Markus |
|
2012
|
Omega algebra, demonic refinement algebra and commands. Zbl 1134.68409
Höfner, Peter; Möller, Bernhard; Solin, Kim |
|
2006
|
Kleene under a modal demonic star. Zbl 1086.68080
Desharnais, Jules; Möller, Bernhard; Tchier, Fairouz |
|
2006
|
On the algebraic specification of infinite objects - ordered and continuous models of algebraic types. Zbl 0563.68030
Möller, Bernhard |
|
1985
|
Algebraic implementations preserve program correctness. Zbl 0597.68021
Broy, Manfred; Möller, Bernhard; Pepper, Peter; Wirsing, Martin |
|
1986
|
Normal design algebra. Zbl 1184.68179
Guttmann, Walter; Möller, Bernhard |
|
2010
|
An algebraic foundation for automatic feature-based program synthesis. Zbl 1209.68129
Apel, Sven; Lengauer, Christian; Möller, Bernhard; Kästner, Christian |
|
2010
|
The linear algebra of UTP. Zbl 1235.68057
Möller, Bernhard |
|
2006
|
Developments in concurrent Kleene algebra. Zbl 1344.68149
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao |
|
2016
|
Reverse exchange for concurrency and local reasoning. Zbl 1358.68063
Dang, Han-Hing; Möller, Bernhard |
|
2012
|
Kleene under a demonic star. Zbl 0983.68039
Desharnais, Jules; Möller, Bernhard; Tchier, Fairouz |
|
2000
|
Calculating with acyclic and cyclic lists. Zbl 0943.68038
Möller, Bernhard |
|
1999
|
A semiring approach to equivalences, bisimulations and control. Zbl 1267.68142
Glück, Roland; Möller, Bernhard; Sintzoff, Michel |
|
2009
|
On algebra of program correctness and incorrectness. Zbl 07670527
Möller, Bernhard; O’Hearn, Peter; Hoare, Tony |
|
2021
|
Algebraic specification with built-in domain constructions. Zbl 0645.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin |
|
1988
|
Least reflexive points of relations. Zbl 1081.06001
Desharnais, Jules; Möller, Bernhard |
|
2005
|
Model refinement using bisimulation quotients. Zbl 1308.68040
Glück, Roland; Möller, Bernhard; Sintzoff, Michel |
|
2011
|
Towards an algebra of hybrid systems. Zbl 1185.68431
Höfner, Peter; Möller, Bernhard |
|
2006
|
An algebra of database preferences. Zbl 1329.68094
Möller, Bernhard; Roocks, Patrick |
|
2015
|
A discrete geometric model of concurrent program execution. Zbl 1483.68086
Möller, Bernhard; Hoare, Tony; Müller, Martin E.; Struth, Georg |
|
2017
|
Modal Kleene algebra and partial correctness. Zbl 1108.68403
Möller, Bernhard; Struth, Georg |
|
2004
|
Exploring an interface model for CKA. Zbl 1432.68314
Möller, Bernhard; Hoare, Tony |
|
2015
|
An algebra for features and feature composition. Zbl 1170.68424
Apel, Sven; Lengauer, Christian; Möller, Bernhard; Kästner, Christian |
|
2008
|
Transitive separation logic. Zbl 1330.03070
Dang, Han-Hing; Möller, Bernhard |
|
2012
|
An algebra of layered complex preferences. Zbl 1330.68057
Möller, Bernhard; Roocks, Patrick |
|
2012
|
Formal program construction by transformations - computer-aided, intuition-guided programming. Zbl 0664.68017
Bauer, Friedrich Ludwig; Möller, Bernhard; Partsch, Helmut; Pepper, Peter |
|
1989
|
On the algebraic specification of domains. Zbl 0584.68038
Möller, Bernhard; Dosch, Walter |
|
1985
|
Unendliche Objekte und Geflechte. Zbl 0565.68012
Möller, Bernhard |
|
1982
|
Layered graph traversals and Hamiltonian path problems—an algebraic approach. Zbl 0907.05052
Brunn, Thomas; Möller, Bernhard; Russling, Martin |
|
1998
|
Kleene modules. Zbl 1088.03052
Ehm, Thorsten; Möller, Bernhard; Struth, Georg |
|
2004
|
Exploring modal worlds. Zbl 1434.03146
Dang, Han-Hing; Glück, Roland; Möller, Bernhard; Roocks, Patrick; Zelend, Andreas |
|
2014
|
Constructing programs from specifications. Proceedings of the IFIP TC2/WG 2.1 working conference, Pacific Grove, CA, USA, 13-16 May 1991. Zbl 0744.68025
|
|
1991
|
Lazy semiring neighbours and some applications. Zbl 1134.68408
Höfner, Peter; Möller, Bernhard |
|
2006
|
Modal design algebra. Zbl 1186.68112
Guttmann, Walter; Möller, Bernhard |
|
2006
|
Shorter paths to graph algorithms. Zbl 0813.68144
Möller, Bernhard; Russling, Martin |
|
1994
|
Higher-order algebra, logic, and term rewriting. 1st international workshop, HOA ’93, Amsterdam, the Netherlands, September 23–24, 1993. Selected papers. Zbl 0825.00070
|
|
1994
|
Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers. Zbl 1051.68002
|
|
2004
|
Modal algebra and Petri nets. Zbl 1410.68249
Dang, Han-Hing; Möller, Bernhard |
|
2015
|
Fuzzifying modal algebra. Zbl 1405.03086
Desharnais, Jules; Möller, Bernhard |
|
2014
|
Fixing Zeno gaps. Zbl 1227.68079
Höfner, Peter; Möller, Bernhard |
|
2011
|
Relations and Kleene algebra in computer science. 11th international conference on relational methods in computer science, RelMiCS 2009, and 6th international conference on applications of Kleene algebra, AKA 2009, Doha, Qatar, November 1–5, 2009. Proceedings. Zbl 1177.68003
|
|
2009
|
Foundations of coloring algebra with consequences for feature-oriented programming. Zbl 1364.68137
Höfner, Peter; Möller, Bernhard; Zelend, Andreas |
|
2012
|
Knowledge and games in modal semirings. Zbl 1139.03048
Möller, Bernhard |
|
2008
|
Algebraic neighbourhood logic. Zbl 1142.03036
Höfner, Peter; Möller, Bernhard |
|
2008
|
Algebraic derivation of until rules and application to timer verification. Zbl 1518.68205
Ertel, Jessica; Glück, Roland; Möller, Bernhard |
|
2018
|
Higher-order algebra, logic, and term rewriting. Second international workshop, HOA ’95, Paderborn, Germany, September 21–22, 1995. Selected papers. Zbl 0851.00044
|
|
1996
|
Extended transitive separation logic. Zbl 1330.03071
Dang, Han-Hing; Möller, Bernhard B. |
|
2015
|
Structured document algebra in action. Zbl 1454.68023
Batory, Don; Höfner, Peter; Köppl, Dominik; Möller, Bernhard; Zelend, Andreas |
|
2015
|
Non-associative Kleene algebra and temporal logics. Zbl 1486.68099
Desharnais, Jules; Möller, Bernhard |
|
2017
|
On algebra of program correctness and incorrectness. Zbl 07670527
Möller, Bernhard; O’Hearn, Peter; Hoare, Tony |
|
2021
|
Algebraic derivation of until rules and application to timer verification. Zbl 1518.68205
Ertel, Jessica; Glück, Roland; Möller, Bernhard |
|
2018
|
A discrete geometric model of concurrent program execution. Zbl 1483.68086
Möller, Bernhard; Hoare, Tony; Müller, Martin E.; Struth, Georg |
|
2017
|
Non-associative Kleene algebra and temporal logics. Zbl 1486.68099
Desharnais, Jules; Möller, Bernhard |
|
2017
|
Developments in concurrent Kleene algebra. Zbl 1344.68149
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Zhu, Huibiao |
|
2016
|
An algebra of database preferences. Zbl 1329.68094
Möller, Bernhard; Roocks, Patrick |
|
2015
|
Exploring an interface model for CKA. Zbl 1432.68314
Möller, Bernhard; Hoare, Tony |
|
2015
|
Modal algebra and Petri nets. Zbl 1410.68249
Dang, Han-Hing; Möller, Bernhard |
|
2015
|
Extended transitive separation logic. Zbl 1330.03071
Dang, Han-Hing; Möller, Bernhard B. |
|
2015
|
Structured document algebra in action. Zbl 1454.68023
Batory, Don; Höfner, Peter; Köppl, Dominik; Möller, Bernhard; Zelend, Andreas |
|
2015
|
Developments in concurrent Kleene algebra. Zbl 1344.68148
Hoare, Tony; van Staden, Stephan; Möller, Bernhard; Struth, Georg; Villard, Jules; Zhu, Huibiao; O’Hearn, Peter |
|
2014
|
Relational style laws and constructs of linear algebra. Zbl 1434.15016
Desharnais, Jules; Grinenko, Anastasiya; Möller, Bernhard |
|
2014
|
Exploring modal worlds. Zbl 1434.03146
Dang, Han-Hing; Glück, Roland; Möller, Bernhard; Roocks, Patrick; Zelend, Andreas |
|
2014
|
Fuzzifying modal algebra. Zbl 1405.03086
Desharnais, Jules; Möller, Bernhard |
|
2014
|
Dijkstra, Floyd and Warshall meet Kleene. Zbl 1259.68243
Höfner, Peter; Möller, Bernhard |
|
2012
|
An algebraic calculus of database preferences. Zbl 1358.68087
Möller, Bernhard; Roocks, Patrick; Endres, Markus |
|
2012
|
Reverse exchange for concurrency and local reasoning. Zbl 1358.68063
Dang, Han-Hing; Möller, Bernhard |
|
2012
|
Transitive separation logic. Zbl 1330.03070
Dang, Han-Hing; Möller, Bernhard |
|
2012
|
An algebra of layered complex preferences. Zbl 1330.68057
Möller, Bernhard; Roocks, Patrick |
|
2012
|
Foundations of coloring algebra with consequences for feature-oriented programming. Zbl 1364.68137
Höfner, Peter; Möller, Bernhard; Zelend, Andreas |
|
2012
|
Concurrent Kleene algebra and its foundations. Zbl 1278.68176
Hoare, Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian |
|
2011
|
Algebraic separation logic. Zbl 1260.03060
Dang, H.-H.; Höfner, P.; Möller, B. |
|
2011
|
On locality and the exchange law for concurrent processes. Zbl 1343.68170
Hoare, C. A. R.; Hussain, Akbar; Möller, Bernhard; O’Hearn, Peter W.; Petersen, Rasmus Lerchedahl; Struth, Georg |
|
2011
|
Algebraic notions of termination. Zbl 1214.68185
Desharnais, Jules; Möller, Bernhard; Struth, Georg |
|
2011
|
Model refinement using bisimulation quotients. Zbl 1308.68040
Glück, Roland; Möller, Bernhard; Sintzoff, Michel |
|
2011
|
Fixing Zeno gaps. Zbl 1227.68079
Höfner, Peter; Möller, Bernhard |
|
2011
|
Normal design algebra. Zbl 1184.68179
Guttmann, Walter; Möller, Bernhard |
|
2010
|
An algebraic foundation for automatic feature-based program synthesis. Zbl 1209.68129
Apel, Sven; Lengauer, Christian; Möller, Bernhard; Kästner, Christian |
|
2010
|
Concurrent Kleene algebra. Zbl 1254.68172
Hoare, C. A. R. Tony; Möller, Bernhard; Struth, Georg; Wehrman, Ian |
|
2009
|
Foundations of concurrent Kleene algebra. Zbl 1267.68154
Hoare, C. A. R.; Möller, Bernhard; Struth, Georg; Wehrman, Ian |
|
2009
|
An algebra of hybrid systems. Zbl 1161.68032
Höfner, Peter; Möller, Bernhard |
|
2009
|
A semiring approach to equivalences, bisimulations and control. Zbl 1267.68142
Glück, Roland; Möller, Bernhard; Sintzoff, Michel |
|
2009
|
Relations and Kleene algebra in computer science. 11th international conference on relational methods in computer science, RelMiCS 2009, and 6th international conference on applications of Kleene algebra, AKA 2009, Doha, Qatar, November 1–5, 2009. Proceedings. Zbl 1177.68003
|
|
2009
|
An algebra for features and feature composition. Zbl 1170.68424
Apel, Sven; Lengauer, Christian; Möller, Bernhard; Kästner, Christian |
|
2008
|
Knowledge and games in modal semirings. Zbl 1139.03048
Möller, Bernhard |
|
2008
|
Algebraic neighbourhood logic. Zbl 1142.03036
Höfner, Peter; Möller, Bernhard |
|
2008
|
Kleene getting lazy. Zbl 1109.68060
Möller, Bernhard |
|
2007
|
Kleene algebra with domain. Zbl 1367.68205
Desharnais, Jules; Möller, Bernhard; Struth, Georg |
|
2006
|
Algebras of modal operators and partial correctness. Zbl 1086.68082
Möller, Bernhard; Struth, Georg |
|
2006
|
Quantales and temporal logics. Zbl 1235.03051
Möller, Bernhard; Höfner, Peter; Struth, Georg |
|
2006
|
wp is wlp. Zbl 1185.68227
Möller, Bernhard; Struth, Georg |
|
2006
|
Omega algebra, demonic refinement algebra and commands. Zbl 1134.68409
Höfner, Peter; Möller, Bernhard; Solin, Kim |
|
2006
|
Kleene under a modal demonic star. Zbl 1086.68080
Desharnais, Jules; Möller, Bernhard; Tchier, Fairouz |
|
2006
|
The linear algebra of UTP. Zbl 1235.68057
Möller, Bernhard |
|
2006
|
Towards an algebra of hybrid systems. Zbl 1185.68431
Höfner, Peter; Möller, Bernhard |
|
2006
|
Lazy semiring neighbours and some applications. Zbl 1134.68408
Höfner, Peter; Möller, Bernhard |
|
2006
|
Modal design algebra. Zbl 1186.68112
Guttmann, Walter; Möller, Bernhard |
|
2006
|
Least reflexive points of relations. Zbl 1081.06001
Desharnais, Jules; Möller, Bernhard |
|
2005
|
Lazy Kleene algebra. Zbl 1106.68065
Möller, Bernhard |
|
2004
|
Termination in modal Kleene algebra. Zbl 1088.68619
Desharnais, Jules; Möller, Bernhard; Struth, Georg |
|
2004
|
Modal Kleene algebra and partial correctness. Zbl 1108.68403
Möller, Bernhard; Struth, Georg |
|
2004
|
Kleene modules. Zbl 1088.03052
Ehm, Thorsten; Möller, Bernhard; Struth, Georg |
|
2004
|
Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers. Zbl 1051.68002
|
|
2004
|
Characterizing determinacy in Kleene algebras. Zbl 1004.68105
Desharnais, Jules; Möller, Bernhard |
|
2001
|
Fuzzy structural analysis using \(\alpha\)-level optimization. Zbl 1009.74053
Möller, B.; Graf, W.; Beer, M. |
|
2000
|
Kleene under a demonic star. Zbl 0983.68039
Desharnais, Jules; Möller, Bernhard; Tchier, Fairouz |
|
2000
|
Calculating with acyclic and cyclic lists. Zbl 0943.68038
Möller, Bernhard |
|
1999
|
Layered graph traversals and Hamiltonian path problems—an algebraic approach. Zbl 0907.05052
Brunn, Thomas; Möller, Bernhard; Russling, Martin |
|
1998
|
Higher-order algebra, logic, and term rewriting. Second international workshop, HOA ’95, Paderborn, Germany, September 21–22, 1995. Selected papers. Zbl 0851.00044
|
|
1996
|
Shorter paths to graph algorithms. Zbl 0813.68144
Möller, Bernhard; Russling, Martin |
|
1994
|
Higher-order algebra, logic, and term rewriting. 1st international workshop, HOA ’93, Amsterdam, the Netherlands, September 23–24, 1993. Selected papers. Zbl 0825.00070
|
|
1994
|
Towards pointer algebra. Zbl 0780.68090
Möller, Bernhard |
|
1993
|
Formal program development. IFIP TC2/WG 2.1 state-of-the-art report. Zbl 0825.00043
|
|
1993
|
Constructing programs from specifications. Proceedings of the IFIP TC2/WG 2.1 working conference, Pacific Grove, CA, USA, 13-16 May 1991. Zbl 0744.68025
|
|
1991
|
Formal program construction by transformations - computer-aided, intuition-guided programming. Zbl 0664.68017
Bauer, Friedrich Ludwig; Möller, Bernhard; Partsch, Helmut; Pepper, Peter |
|
1989
|
Algebraic specifications of reachable higher-order algebras. Zbl 0659.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin |
|
1988
|
Algebraic specification with built-in domain constructions. Zbl 0645.68027
Möller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin |
|
1988
|
Algebraic implementations preserve program correctness. Zbl 0597.68021
Broy, Manfred; Möller, Bernhard; Pepper, Peter; Wirsing, Martin |
|
1986
|
On the algebraic specification of infinite objects - ordered and continuous models of algebraic types. Zbl 0563.68030
Möller, Bernhard |
|
1985
|
On the algebraic specification of domains. Zbl 0584.68038
Möller, Bernhard; Dosch, Walter |
|
1985
|
Unendliche Objekte und Geflechte. Zbl 0565.68012
Möller, Bernhard |
|
1982
|
Programming in a wide spectrum language: A collection of examples. Zbl 0469.68003
Bauer, F. L.; Broy, M.; Dosch, W.; Gnatz, R.; Krieg-Brückner, B.; Laut, A.; Luckmann, M.; Matzner, T.; Möller, B.; Partsch, H.; Pepper, P.; Samelson, K.; Steinbrüggen, R.; Wirsing, M.; Wössner, H. |
|
1981
|