Kim Solin

	2009
8		Kim Solin: A While Program Normal Form Theorem in Total Correctness. RelMiCS 2009: 322-336
7		Kim Solin, Joakim von Wright: Enabledness and termination in refinement algebra. Sci. Comput. Program. 74(8): 654-668 (2009)
	2008
6		Larissa Meinicke, Kim Solin: Reactive Probabilistic Programs and Refinement Algebra. RelMiCS 2008: 304-319
5		Larissa Meinicke, Kim Solin: Refinement Algebra for Probabilistic Programs. Electr. Notes Theor. Comput. Sci. 201: 177-195 (2008)
	2007
4		Kim Solin: A Sketch of a Dynamic Epistemic Semiring. WoLLIC 2007: 337-350
	2006
3		Kim Solin, Joakim von Wright: Refinement Algebra with Operators for Enabledness and Termination. MPC 2006: 397-415
2		Peter Höfner, Bernhard Möller, Kim Solin: Omega Algebra, Demonic Refinement Algebra and Commands. RelMiCS 2006: 222-234
1		Kim Solin: On Two Dually Nondeterministic Refinement Algebras. RelMiCS 2006: 373-387

Coauthor Index

1	Peter Höfner	[2]
2	Larissa Meinicke	[5] [6]
3	Bernhard Möller	[2]
4	Joakim von Wright	[3] [7]

Colors in the list of coauthors