Stochastic formalization of agent - oriented systemsдоклад на конференции