A Formal Model of Multi-agent Computations

Abstract. The paper contains an extension of a formal model of multiagent computing system developed in previous publications towards considering a more general system state. We provide also some deeper details of the model in the case of a homogeneous hardware environment. The model provides us with a precise definition of the optimal task scheduling together with results on the existence and characterization of optimal scheduling strategies.

• Type: Conference
• Year: 2007
• Where: PPAM
• Authors: Maciej Smolka
• Keywords: Homogeneous Hardware Environment, Mathematics, Optimal Scheduling Strategies, Optimal Task Scheduling, PPAM 2007