Kim Solin

From MaRDI portal
Person:549682

Available identifiers

zbMath Open solin.kimMaRDI QIDQ549682

List of research outcomes





PublicationDate of PublicationType
Encoding and Decoding in Refinement Algebra2016-01-08Paper
Dual choice and iteration in an abstract algebra of action2012-12-12Paper
Towards an Algebra for Real-Time Programs2012-09-21Paper
Normal forms in total correctness for while programs and action systems2011-07-18Paper
A sketch of a dynamic epistemic semiring2010-04-22Paper
Refinement algebra for probabilistic programs2010-03-08Paper
A While Program Normal Form Theorem in Total Correctness2009-12-11Paper
Enabledness and termination in refinement algebra2009-07-24Paper
Refinement Algebra with Operators for Enabledness and Termination2009-04-02Paper
A Sketch of a Dynamic Epistemic Semiring2009-03-10Paper
Reactive Probabilistic Programs and Refinement Algebra2008-05-15Paper
Omega Algebra, Demonic Refinement Algebra and Commands2008-04-24Paper
On Two Dually Nondeterministic Refinement Algebras2008-04-24Paper

Research outcomes over time

This page was built for person: Kim Solin

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:549682&oldid=7567059"
Powered by MediaWiki