Items related to Communicating Sequential Processes. The First 25 Years:...
Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science, 3525) - Softcover
This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare’s paper “Communicating Sequential Processes” is today widely regarded as one of the most in?uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society’s Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application. BCS-FACS is proud that Tony Hoare presented his original ideas on CSP at one of its ?rst meetings, in 1978. The two-day event, 7–8 July 2004, was hosted by London South Bank U- versity’s Institute for Computing Research, Faculty of Business, Computing and Information Management. The intention was to celebrate, re?ect upon and look beyondthe?rstquarter-centuryofCSP’scontributionstocomputerscience. The meeting examined the impact of CSP on many areas stretching from semantics (mathematical models for understanding concurrency and communications) and logic(forreasoningaboutbehavior),throughthedesignofparallelprogramming languages (i/o, parallelism, synchronization and threads) to applications va- ing from distributed software and parallel computing to information security, Web services and concurrent hardware circuits. It included a panel discussion with panelists Brookes, Hoare, de Roever and Roscoe (chaired by Je? Sanders), poster presentations by PhD students and others, featured a ?re alarm (requ- ing evacuation in the rain!) and concluded with the presentation of a fountain pen to Prof. Sir C. A. R. Hoare.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2005
- ISBN 10 3540258132
- ISBN 13 9783540258131
- BindingPaperback
- Number of pages340
- EditorAbdallah Ali E., Jones Cliff B., Sanders Jeff W.
Buy New
Learn more about this copy
US$ 55.82
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Communicating Sequential Processes The First 25 Years: Symposium on the Occasion of 25 Years of CSP London, UK, July 7-8, 2004 Revised Invited Papers (Lecture Notes in Computer Science (3525)) [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783540258131
Buy New
US$ 55.82
Convert currency
Stock Image
Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers (Lecture Notes in Computer Science, 3525)
Published by
Springer
(2005)
ISBN 10: 3540258132
ISBN 13: 9783540258131
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020164281
Buy New
US$ 59.29
Convert currency
Stock Image
Communicating Sequential Processes. The First 25 Years : Symposium on the Occasion of 25 Years of CSP; London; UK; July 7-8; 2004. Revised Invited Papers
Published by
Springer
(2005)
ISBN 10: 3540258132
ISBN 13: 9783540258131
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783540258131_lsuk
Buy New
US$ 64.40
Convert currency
Seller Image
Communicating Sequential Processes. The First 25 Years
Published by
Springer Berlin Heidelberg Mai 2005
(2005)
ISBN 10: 3540258132
ISBN 13: 9783540258131
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare's paper 'Communicating Sequential Processes' is today widely regarded as one of the most in uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society's Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application. BCS-FACS is proud that Tony Hoare presented his original ideas on CSP at one of its rst meetings, in 1978. The two-day event, 7-8 July 2004, was hosted by London South Bank U- versity's Institute for Computing Research, Faculty of Business, Computing and Information Management. The intention was to celebrate, re ect upon and look beyondthe rstquarter-centuryofCSP'scontributionstocomputerscience. The meeting examined the impact of CSP on many areas stretching from semantics (mathematical models for understanding concurrency and communications) and logic(forreasoningaboutbehavior),throughthedesignofparallelprogramming languages (i/o, parallelism, synchronization and threads) to applications va- ing from distributed software and parallel computing to information security, Web services and concurrent hardware circuits. It included a panel discussion with panelists Brookes, Hoare, de Roever and Roscoe (chaired by Je Sanders), poster presentations by PhD students and others, featured a re alarm (requ- ing evacuation in the rain!) and concluded with the presentation of a fountain pen to Prof. Sir C. A. R. Hoare. 344 pp. Englisch. Seller Inventory # 9783540258131
Buy New
US$ 58.78
Convert currency
Stock Image
Communicating Sequential Processes. the First 25 Years: Symposium on the Occasion of 25 Years of Csp, London, Uk, July 7-8, 2004. Revised Invited Papers
Published by
Springer-Verlag New York Inc
(2005)
ISBN 10: 3540258132
ISBN 13: 9783540258131
New
Paperback
Quantity: 2
Seller:
Rating
Book Description Paperback. Condition: Brand New. 1st edition. 321 pages. 9.25x6.00x1.00 inches. In Stock. Seller Inventory # x-3540258132
Buy New
US$ 76.49
Convert currency
Stock Image
Communicating Sequential Processes. The First 25 Years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Pap
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783540258131
Buy New
US$ 78.74
Convert currency
Seller Image
Communicating Sequential Processes. The First 25 Years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
Published by
Springer Berlin Heidelberg
(2005)
ISBN 10: 3540258132
ISBN 13: 9783540258131
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare's paper 'Communicating Sequential Processes' is today widely regarded as one of the most in uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society's Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application. BCS-FACS is proud that Tony Hoare presented his original ideas on CSP at one of its rst meetings, in 1978. The two-day event, 7-8 July 2004, was hosted by London South Bank U- versity's Institute for Computing Research, Faculty of Business, Computing and Information Management. The intention was to celebrate, re ect upon and look beyondthe rstquarter-centuryofCSP'scontributionstocomputerscience. The meeting examined the impact of CSP on many areas stretching from semantics (mathematical models for understanding concurrency and communications) and logic(forreasoningaboutbehavior),throughthedesignofparallelprogramming languages (i/o, parallelism, synchronization and threads) to applications va- ing from distributed software and parallel computing to information security, Web services and concurrent hardware circuits. It included a panel discussion with panelists Brookes, Hoare, de Roever and Roscoe (chaired by Je Sanders), poster presentations by PhD students and others, featured a re alarm (requ- ing evacuation in the rain!) and concluded with the presentation of a fountain pen to Prof. Sir C. A. R. Hoare. Seller Inventory # 9783540258131
Buy New
US$ 63.84
Convert currency
Seller Image
Communicating Sequential Processes. The First 25 Years
Published by
Springer Berlin Heidelberg
(2005)
ISBN 10: 3540258132
ISBN 13: 9783540258131
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # 4886613
Buy New
US$ 53.15
Convert currency
Stock Image
COMMUNICATING SEQUENTIAL PROCESS
Seller:
Rating
Book Description Condition: New. New. In shrink wrap. Looks like an interesting title! 1.15. Seller Inventory # Q-3540258132
Buy New
US$ 117.82
Convert currency