Please read our student and staff community guidance on COVID-19
Skip to main content Skip to navigation

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.

Download