05618nam 22006975 450 99646581960331620230405223344.03-540-32265-53-540-25813-210.1007/b136154(CKB)1000000000212936(SSID)ssj0000316704(PQKBManifestationID)11205478(PQKBTitleCode)TC0000316704(PQKBWorkID)10276215(PQKB)10851663(DE-He213)978-3-540-32265-8(MiAaPQ)EBC3067663(PPN)12309433X(EXLCZ)99100000000021293620100715d2005 u| 0engurnn#008mamaatxtccrCommunicating Sequential Processes. The First 25 Years[electronic resource] Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (XIV, 326 p.)Theoretical Computer Science and General Issues,2512-2029 ;3525"The symposium CSP25 ... commemorates the semi-jubilee of ... Tony Hoare's paper 'Communicating sequential processes'"--Pref.Printed edition: 9783540258131 Includes bibliographical references and index.Semantic Foundations -- Retracing the Semantics of CSP -- Seeing Beyond Divergence -- Refinement and Simulation -- Process Algebra: A Unifying Approach -- Linking Theories of Concurrency -- Hardware Synthesis -- CSP, occam and Transputers -- Models for Data-Flow Sequential Processes -- Implementation of Handshake Components -- Transactions -- A Trace Semantics for Long-Running Transactions -- Practical Application of CSP and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based Design of Concurrent Programs -- Linking Theories -- Of Probabilistic wp and CSP—and Compositionality -- Order, Topology, and Recursion Induction in CSP -- Security -- Verifying Security Protocols: An Application of CSP -- Shedding Light on Haunted Corners of Information Security -- Automated Development and Model Checking -- Operational Semantics for Fun and Profit -- On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations -- Industrial Strength CSP -- Industrial Strength CSP: Opportunities and Challenges in Model-Checking -- Applied Formal Methods – From CSP to Executable Hybrid Specifications.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.Theoretical Computer Science and General Issues,2512-2029 ;3525Computer scienceCompilers (Computer programs)Software engineeringComputer programmingComputer Science Logic and Foundations of ProgrammingCompilers and InterpretersSoftware EngineeringProgramming TechniquesComputer science.Compilers (Computer programs).Software engineering.Computer programming.Computer Science Logic and Foundations of Programming.Compilers and Interpreters.Software Engineering.Programming Techniques.005.13/3Abdallah Ali Eedthttp://id.loc.gov/vocabulary/relators/edtJones Cliff Bedthttp://id.loc.gov/vocabulary/relators/edtSanders Jeff Wedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465819603316Communicating Sequential Processes. The First 25 Years772844UNISA03122nam 2200589Ia 450 991077844250332120200520144314.00-674-03973-410.4159/9780674039735(CKB)1000000000805442(OCoLC)449777794(CaPaEBR)ebrary10326105(SSID)ssj0000211471(PQKBManifestationID)11197054(PQKBTitleCode)TC0000211471(PQKBWorkID)10311216(PQKB)10132093(Au-PeEL)EBL3300561(CaPaEBR)ebr10326105(OCoLC)923111833(DE-B1597)574459(DE-B1597)9780674039735(MiAaPQ)EBC3300561(EXLCZ)99100000000080544220010609d2001 uy 0engurcn|||||||||txtccrNixon's civil rights[electronic resource] politics, principle, and policy /Dean J. KotlowskiCambridge, MA Harvard University Press20011 online resource (417 p.) Originally presented as the author's thesis (doctoral--Indiana University).0-674-00623-2 Includes bibliographical references (p. [381]-388) and index.Frontmatter -- Acknowledgments -- Contents -- Prologue: Deeds versus Words -- 1 Flexible Response: Southern Politics and School Desegregation -- 2 Open Communities versus Forced Integration: Romney, Nixon, and Fair Housing -- 3 The Art of Compromise: Extending the Voting Rights Act -- 4 Jobs Are Nixon’s Rights Program: The Philadelphia Plan and Affirmative Action -- 5 Black Power, Nixon Style: Minority Businesses and Black Colleges -- 6 A Cold War: Nixon and Civil Rights Leaders -- 7 Challenges and Opportunities: Native American Policy -- 8 Stops and Starts: Women’s Rights -- Epilogue: In the Shadow of Nixon -- Notes -- Select Bibliography -- IndexIn a groundbreaking new book, Kotlowski offers a surprising study of an administration that redirected the course of civil rights in America. Kotlowski examines such issues as school desegregation, fair housing, voting rights, affirmative action, and minority businesses as well as Native American and women's rights. He details Nixon's role, revealing a president who favored deeds over rhetoric and who constantly weighed political expediency and principles in crafting civil rights policy.Civil rightsUnited StatesHistory20th centuryAffirmative action programsGovernment policyUnited StatesHistory20th centuryUnited StatesPolitics and government1969-1974Civil rightsHistoryAffirmative action programsGovernment policyHistory323/.0973/09047Kotlowski Dean J1044091MiAaPQMiAaPQMiAaPQBOOK9910778442503321Nixon's civil rights3745159UNINA