000			02811nam a22003858i 4500
001			CR9781139195003
003			UkCbUP
005			20200124160219.0
006			m|||||o||d||||||||
007			cr||||||||||||
008			111109s2010||||enk o ||1 0|eng|d
020			_a9781139195003 (ebook)
020			_z9780521820493 (hardback)
040			_aUkCbUP _beng _erda _cUkCbUP
050	0	0	_aQA76.58 _b.B34 2010
082	0	4	_a004.0151 _222
100	1		_aBaeten, J. C. M., _eauthor.
245	1	0	_aProcess algebra : _bequational theories of communicating processes / _cJ.C.M. Baeten, T. Basten, M.A. Raniers.
264		1	_aCambridge : _bCambridge University Press, _c2010.
300			_a1 online resource (xvi, 460 pages) : _bdigital, PDF file(s).
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aCambridge tracts in theoretical computer science ; _v50
500			_aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
505	0		_aForeword / Tony Hoare -- Foreword / Robin Milner -- Foreword / Jan Bergstra -- 1. Process algebra -- 2. Preliminaries -- 3. Transition systems -- 4. Basic process theory -- 5. Recursion -- 6. Sequential processes -- 7. Parallel and communicating processes -- 8. Abstraction -- 9. Timing -- 10. Data and states -- 11. Features -- 12. Semantics.
520			_aProcess algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unified framework and notation. The authors describe the theory underlying the development, realization and maintenance of software that occurs in parallel or distributed systems. A system can be specified in the syntax provided, and the axioms can be used to verify that a composed system has the required external behaviour. As examples, two protocols are completely specified and verified in the text: the Alternating-Bit Protocol for Data Communication, and Fischer's Protocol of Mutual Exclusion. The book serves as a reference text for researchers and graduate students in computer science, offering a complete overview of the field and referring to further literature where appropriate.
650		0	_aParallel processing (Electronic computers)
650		0	_aElectronic data processing _xDistributed processing.
700	1		_aBasten, Thomas Geertruida Henricus, _d1973- _eauthor.
700	1		_aReniers, M. A. _q(Michel Adriaan), _d1970- _eauthor.
776	0	8	_iPrint version: _z9780521820493
830		0	_aCambridge tracts in theoretical computer science ; _v50.
856	4	0	_uhttps://doi.org/10.1017/CBO9781139195003
999			_c516583 _d516581