017 - Definitive specification of concurrent systems
Abstract
A new approach to the modelling and simulation of concurrent systems, characterised by the use of sets of definitions to represent states and transitions, is described. The simulation of system behaviour is derived from a specification of possible agent actions by taking account of relative speeds of response and operation. A distinctive feature of the approach is that the perceptions and capabilities of agents are explicitly modelled.