POLYADIC STOCHASTIC COWS
Stefano Schivo, Stefano Schivo · Unitn Eprints Research (Università Degli Studi di Trento) · 2008
Our objective is to extend the process algebra cows presented in [2, 3] by introducing stochastic delays in the language. We will start by presenting a modified version of the semantics of cows which will allow us to ease the subsequent stochastic extension. In order to better explain the changes made to the basic version of the language, we