LEADER 05176nam 2200829Ia 450 001 9910456566003321 005 20200520144314.0 010 $a0-8147-3312-3 010 $a1-4416-3381-2 024 7 $a10.18574/9780814733127 035 $a(CKB)2520000000007955 035 $a(EBL)865487 035 $a(OCoLC)779828096 035 $a(SSID)ssj0000344317 035 $a(PQKBManifestationID)11243069 035 $a(PQKBTitleCode)TC0000344317 035 $a(PQKBWorkID)10307580 035 $a(PQKB)11426251 035 $a(MiAaPQ)EBC865487 035 $a(OCoLC)549601952 035 $a(MdBmJHUP)muse10796 035 $a(DE-B1597)546884 035 $a(DE-B1597)9780814733127 035 $a(Au-PeEL)EBL865487 035 $a(CaPaEBR)ebr10354085 035 $a(EXLCZ)992520000000007955 100 $a20090716d2009 ub 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aWant to start a revolution?$b[electronic resource] $eradical women in the Black freedom struggle /$fedited by Dayo F. Gore, Jeanne Theoharis, and Komozi Woodard 210 $aNew York $cNew York University Press$dc2009 215 $a1 online resource (364 p.) 300 $aDescription based upon print version of record. 311 $a0-8147-8314-7 311 $a0-8147-8313-9 320 $aIncludes bibliographical references and index. 327 $tFrontmatter -- $tContents -- $tAcknowledgments -- $tIntroduction -- $t1 ?No Small Amount of Change Could Do? -- $t2 What ?the Cause? Needs Is a ?Brainy and Energetic Woman? -- $t3 From Communist Politics to Black Power -- $t4 Shirley Graham Du Bois -- $t5 ?A Life History of Being Rebellious? -- $t6 Framing the Panther -- $t7 Revolutionary Women, Revolutionary Education -- $t8 Must Revolution Be a Family Affair? -- $t9 Retraining the Heartworks -- $t10 ?Women?s Liberation or . . . Black Liberation, You?re Fighting the Same Enemies? -- $t11 To Make That Someday Come -- $t12 Denise Oliver and the Young Lords Party -- $t13 Grassroots Leadership and Afro-Asian Solidarities -- $t14 ?We Do Whatever Becomes Necessary? -- $tAbout the Contributors -- $tIndex 330 $aThe story of the black freedom struggle in America has been overwhelmingly male-centric, starring leaders like Martin Luther King, Jr., Malcolm X, and Huey Newton. With few exceptions, black women have been perceived as supporting actresses; as behind-the-scenes or peripheral activists, or rank and file party members. But what about Vicki Garvin, a Brooklyn-born activist who became a leader of the National Negro Labor Council and guide to Malcolm X on his travels through Africa? What about Shirley Chisholm, the first black Congresswoman?From Rosa Parks and Esther Cooper Jackson, to Shirley Graham DuBois and Assata Shakur, a host of women demonstrated a lifelong commitment to radical change, embracing multiple roles to sustain the movement, founding numerous groups and mentoring younger activists. Helping to create the groundwork and continuity for the movement by operating as local organizers, international mobilizers, and charismatic leaders, the stories of the women profiled in Want to Start a Revolution? help shatter the pervasive and imbalanced image of women on the sidelines of the black freedom struggle.Contributors: Margo Natalie Crawford, Prudence Cumberbatch, Johanna Fernández, Diane C. Fujino, Dayo F. Gore, Joshua Guild, Gerald Horne, Ericka Huggins, Angela D. LeBlanc-Ernest, Joy James, Erik McDuffie, Premilla Nadasen, Sherie M. Randolph, James Smethurst, Margaret Stevens, and Jeanne Theoharis. 606 $aAfrican American women civil rights workers$xHistory$y20th century 606 $aAfrican American women political activists$xHistory$y20th century 606 $aWomen radicals$zUnited States$xHistory$y20th century 606 $aAfrican American radicals$xHistory$y20th century 606 $aAfrican Americans$xCivil rights$xHistory$y20th century 606 $aCivil rights movements$zUnited States$xHistory$y20th century 606 $aBlack power$zUnited States$xHistory$y20th century 606 $aFeminism$zUnited States$xHistory$y20th century 606 $aCommunism$zUnited States$xHistory$y20th century 607 $aUnited States$xRace relations$xHistory$y20th century 608 $aElectronic books. 615 0$aAfrican American women civil rights workers$xHistory 615 0$aAfrican American women political activists$xHistory 615 0$aWomen radicals$xHistory 615 0$aAfrican American radicals$xHistory 615 0$aAfrican Americans$xCivil rights$xHistory 615 0$aCivil rights movements$xHistory 615 0$aBlack power$xHistory 615 0$aFeminism$xHistory 615 0$aCommunism$xHistory 676 $a323.1196/073 701 $aGore$b Dayo F$01053990 701 $aTheoharis$b Jeanne$01037773 701 $aWoodard$b Komozi$01048666 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910456566003321 996 $aWant to start a revolution$92486283 997 $aUNINA LEADER 04147oam 2200661 450 001 996465614203316 005 20210419133122.0 010 $a1-282-33177-9 010 $a9786612331770 010 $a3-642-03240-0 024 7 $a10.1007/978-3-642-03240-0 035 $a(CKB)1000000000761243 035 $a(EBL)450518 035 $a(OCoLC)437345752 035 $a(SSID)ssj0000296711 035 $a(PQKBManifestationID)11192218 035 $a(PQKBTitleCode)TC0000296711 035 $a(PQKBWorkID)10328065 035 $a(PQKB)11092935 035 $a(DE-He213)978-3-642-03240-0 035 $a(MiAaPQ)EBC450518 035 $a(MiAaPQ)EBC6386345 035 $a(PPN)136310826 035 $a(EXLCZ)991000000000761243 100 $a20210419d2009 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aFormal methods for industrial critical systems $e13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, revised selected papers /$fDarren Cofer, Alessandro Fantechi (editors) 205 $a1st ed. 2009. 210 1$aBerlin ;$aHeidelberg :$cSpringer,$d[2009] 210 4$d©2009 215 $a1 online resource (241 p.) 225 1 $aLecture notes in computer science ;$v5596 300 $aIncludes index. 311 $a3-642-03239-7 320 $aIncludes bibliographical references and index. 327 $aInvited Presentations -- Formal Methods for Critical Systems -- Model-Based Verification of Automotive Control Software -- Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach -- Panel -- Panel Discussion on Formal Methods in Commercial Software Development Tools -- Research Papers -- LETO - A Lustre-Based Test Oracle for Airbus Critical Systems -- Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators -- Fighting State Space Explosion: Review and Evaluation -- Local Quantitative LTL Model Checking -- Efficient Symbolic Model Checking for Process Algebras -- Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving -- Using CSP||B Components: Application to a Platoon of Vehicles -- Formal Verification of the Implementability of Timing Requirements -- Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties -- Can Flash Memory Help in Model Checking? -- From Informal Requirements to Property-Driven Formal Validation -- Automated Certification of Non-Interference in Rewriting Logic -- Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications -- Using Datalog and Boolean Equation Systems for Program Analysis. 330 $aThis book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2008, held in L'Aquila, Italy, in September 2008 - colocated with ASE 2008, the 23rd International Conference on Automated Software Engineering. The 14 revised full papers presented together with the abstracts of 3 invited presentations and 2 short presentations introducing the panel were carefully selected from 36 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications. They cover topics such as model checking, testing, software verification, real-time performance, and industrial case studies. 410 0$aLecture notes in computer science ;$v5596. 606 $aFormal methods (Computer science)$vCongresses 615 0$aFormal methods (Computer science) 676 $a004.0151 686 $aDAT 260f$2stub 686 $aDAT 343f$2stub 686 $aSS 4800$2rvk 702 $aCofer$b Darren 702 $aFantechi$b Alessandro 712 12$aInternational Workshop on Formal Methods for Industrial Critical Systems 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996465614203316 996 $aFormal Methods for Industrial Critical Systems$91921860 997 $aUNISA