True Concurrent Stochastic Processes

Authors:	Bujorianu Manuela, University of Cambridge, United Kingdom Bujorianu Marius, University of Kent, United Kingdom Lygeros John, University of Patras, Greece
Topic:	1.4 Stochastic Systems
Session:	Modeling and Estimation of Stochastic Systems
Keywords:	stochastic processes, true concurrency, reactive embedded systems

Abstract

In this work we present an algebraic framework for true concurrent stochastic processes. Concurrency is modelled using partial order relations. Markov processes are considered using an abstraction given by their excessive functions.