A formal model of multi-agent computations

  • Authors:
  • Maciej Smołka

  • Affiliations:
  • Institute of Computer Science, Jagiellonian University, Kraków, Poland

  • Venue:
  • PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

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.