DocumentCode
274957
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
fYear
1990
fDate
19-22 Mar 1990
Firstpage
52
Lastpage
57
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;
fLanguage
English
Publisher
iet
Conference_Titel
UK IT 1990 Conference
Conference_Location
Southampton
Type
conf
Filename
114267
Link To Document