Veröffentlichungen

2012

• Reverse Exchange for Concurrency and Local Reasoning
  H.-H. Dang, B. Möller
  in J. Gibbons and P. Nogueira (eds.): Mathematics of Program Construction (MPC 2012), LNCS 7342, 2012. (to appear)

2011

• On Locality and the Exchange Law for Concurrent Processes
  C.A.R. Hoare, A. Hussain, B. Möller, P. O'Hearn, R.L. Petersen, G. Struth
  in Joost-Pieter Katoen, Barbara Könnig (eds.): CONCUR 2011 - Concurrency Theory, LNCS 6901, 2011.
• Simplifying Pointer Kleene Algebra
  H.-H. Dang, B. Möller
  in 1st Workshop on Automated Theory Engineering (ATE 2011), 2011.
• Variable Side Conditions and Greatest Relations in Algebraic Separation Logic
  H.-H. Dang, P. Höfner
  in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science (RAMiCS 12), LNCS 6663, 2011.
• Towards Automation for Pointer Algebra
  H.-H. Dang
  in H. de Swart (eds.): Relational and Algebraic Methods in Computer Science PhD Programme (RAMiCS 12), 2011.
• Algebraic Separation Logic
  H.-H. Dang, P. Höfner, B. Möller
  in Journal of Logic and Algebraic Programming 80, pp. 221-247, 2011.
• Concurrent Kleene Algebra and its Foundations
  C.A.R. Hoare, B. Möller, G. Struth, I. Wehrman
  in Journal of Logic and Algebraic Programming 80, pp. 266–296, 2011.

2010

• Algebraic Separation Logic
  H.-H. Dang, P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, July 2010
  2010-06

2009

• Towards Algebraic Separation Logic
  H.-H. Dang, P. Höfner, B. Möller
  in R. Berghammer, A. M. Jaoua, B. Möller (eds.): Relations and Kleene Algebra in Computer Science, LNCS 5827.
  pp. 59-72, 2009.
  
• Foundations of Concurrent Kleene Algebra
  C.A.R. Hoare, B. Möller, G. Struth, I. Wehrman
  in R. Berghammer, A. M. Jaoua, B. Möller (eds.): Relations and Kleene Algebra in Computer Science, LNCS 5827.
  pp. 166-186, 2009.
  
• Concurrent Kleene Algebra
  C.A.R. Hoare, B. Möller, G. Struth, I. Wehrman
  in M. Bravetti, G. Zavatttaro (eds.): Concurreny Theory (CONCUR 2009), LNCS 5710.
  pp. 399-414, 2009.
  
• Towards Algebraic Separation Logic
  H.-H. Dang, P. Höfner, B. Möller
  Technical Report, Institute of Computer Science, University of Augsburg, June 2009
  2009-12
• Algebraic Aspects of Separation Logic
  H.-H. Dang
  Technical Report, Institute of Computer Science, University of Augsburg, May 2009
  2009-01