Mark Green

Visualisation and animation of concurrent systems specified in CSP.
. University of Reading, UK, (2002)British Library, EThOS.
  •  :
  •  :
далее