A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems

Carlos E. Budde, Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick. A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems. In ROCKS. pages 67-86, 2012. [doi]

Abstract

Abstract is missing.