Peer-Reviewed Journal Details
Mandatory Fields
Bustard, D.W., Norris, M.T., Orr, R.A., Winstanley, A.C.
1992
December
An Exercise in Formalising the Description of a Concurrent System
Published
()
Optional Fields
22
1069
1098
12
0038-0644
10.1002/spe.4380221204
Grant Details