LEADER 04621nam 2200697 a 450 001 9910767558403321 005 20200520144314.0 010 $a3-540-32265-5 010 $a3-540-25813-2 024 7 $a10.1007/b136154 035 $a(CKB)1000000000212936 035 $a(SSID)ssj0000316704 035 $a(PQKBManifestationID)11205478 035 $a(PQKBTitleCode)TC0000316704 035 $a(PQKBWorkID)10276215 035 $a(PQKB)10851663 035 $a(DE-He213)978-3-540-32265-8 035 $a(MiAaPQ)EBC3067663 035 $a(PPN)12309433X 035 $a(EXLCZ)991000000000212936 100 $a20050406d2005 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCommunicating sequential processes $ethe first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : revised invited papers /$fAli E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.) 205 $a1st ed. 2005. 210 $aBerlin ;$aNew York $cSpringer$dc2005 215 $a1 online resource (XIV, 326 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v3525.$aFestschrift 300 $a"The symposium CSP25 ... commemorates the semi-jubilee of ... Tony Hoare's paper 'Communicating sequential processes'"--Pref. 311 08$aPrinted edition: 9783540258131 320 $aIncludes bibliographical references and index. 327 $aSemantic foundations -- Refinement and simulation -- Hardware synthesis -- Transactions -- Concurrent programming -- Linking theories -- Security -- Automated development and model checking -- Industrial-strength CSP. 330 $aThis 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. 410 0$aLecture notes in computer science ;$v3525. 410 0$aLecture notes in computer science.$pFestschrift. 517 3 $aSymposium on the Occasion of 25 years of CSP 606 $aCSP (Computer program language)$vCongresses 606 $aParallel programming (Computer science)$vCongresses 606 $aSequential processing (Computer science)$vCongresses 606 $aComputer programming$vCongresses 606 $aParallel processing (Electronic computers)$vCongresses 615 0$aCSP (Computer program language) 615 0$aParallel programming (Computer science) 615 0$aSequential processing (Computer science) 615 0$aComputer programming 615 0$aParallel processing (Electronic computers) 676 $a005.13/3 701 $aAbdallah$b Ali E.$f1957-$01756065 701 $aJones$b C. B$g(Cliff B.),$f1944-$026769 701 $aSanders$b Jeff W$01756066 701 $aHoare$b C. A. R$g(Charles Antony Richard),$f1934-$01681198 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910767558403321 996 $aCommunicating sequential processes$94193156 997 $aUNINA