Title :
Definitive specification of concurrent systems
Author :
Beynon, W.M. ; Norris, M.T. ; Orr, R.A. ; Slade, M.D.
Author_Institution :
Warwick Univ., Coventry, UK
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
Keywords :
concurrency control; distributed processing; formal specification; agent actions; concurrent systems; definitive specification; simulation; states; system behaviour; transitions;
Conference_Titel :
UK IT 1990 Conference
Conference_Location :
Southampton
