000			01970nam a22003618i 4500
001			CR9780511569760
003			UkCbUP
005			20200124160239.0
006			m|||||o||d||||||||
007			cr||||||||||||
008			090520s1993||||enk o ||1 0|eng|d
020			_a9780511569760 (ebook)
020			_z9780521450553 (hardback)
020			_z9781107403864 (paperback)
040			_aUkCbUP _beng _erda _cUkCbUP
050	0	0	_aQA76.54 _b.D38 1993
082	0	0	_a004/.33 _220
100	1		_aDavies, Jim, _d1964- _eauthor.
245	1	0	_aSpecification and proof in real-time CSP / _cJim Davies.
246	3		_aSpecification & Proof in Real Time CSP
264		1	_aCambridge : _bCambridge University Press, _c1993.
300			_a1 online resource (xvii, 180 pages) : _bdigital, PDF file(s).
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aDistinguished dissertations in computer science
500			_aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
520			_aThis book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method 14 structuring CSP descriptions of layered protocols is given.
650		0	_aReal-time data processing.
776	0	8	_iPrint version: _z9780521450553
830		0	_aDistinguished dissertations in computer science.
856	4	0	_uhttps://doi.org/10.1017/CBO9780511569760
999			_c518349 _d518347