Technische Berichte

2006

• Dynamic Epistemic Semirings
  K. Solin
  Technical Report, Institute of Computer Science, University of Augsburg, June 2006
  2006-17
• Omega Algebra, Demonic Refinement Algebra and Commands
  P. Höfner, B. Möller, K. Solin
  Technical Report, Institute of Computer Science, University of Augsburg, March 2006
  2006-11
• On Two Dually Nondeterministic Refinement Algebras
  K. Solin
  Technical Report, Institute of Computer Science, University of Augsburg, February 2006
  2006-05