1.

Record Nr.

UNINA9910451594003321

Autore

Baier Christel

Titolo

Principles of model checking [[electronic resource] /] / Christel Baier, Joost-Pieter Katoen

Pubbl/distr/stampa

Cambridge, Mass., : MIT Press, 2008

ISBN

1-282-09957-4

9786612099571

0-262-26756-X

1-4356-4327-5

Descrizione fisica

1 online resource (994 p.)

Altri autori (Persone)

KatoenJoost-Pieter

Disciplina

004.2/4

Soggetti

Computer systems - Verification

Computer software - Verification

Electronic books.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliographic Level Mode of Issuance: Monograph

Nota di bibliografia

Includes bibliographical references (p. 931-964) and index.



2.

Record Nr.

UNINA9910416104203321

Autore

Bhimji Fazila

Titolo

Border Regimes, Racialisation Processes and Resistance in Germany : An Ethnographic Study of Protest and Solidarity / / by Fazila Bhimji

Pubbl/distr/stampa

Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2020

ISBN

9783030493202

3030493202

Edizione

[1st ed. 2020.]

Descrizione fisica

1 online resource (XIII, 253 p. 9 illus. in color.)

Disciplina

362.8750943

300

Soggetti

Emigration and immigration

Political sociology

Ethnology

Social structure

Equality

Race

Human Migration

Political Sociology

Ethnography

Social Structure

Race and Ethnicity Studies

Refugiats

Migració (Població)

Racisme

Política social

Llibres electrònics

Alemanya

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Chapter 1: Introduction -- Chapter 2: The Racialization of Asylum-Seekers and Refugees in the Everyday in the German State -- Chapter



3: Heterogeneity and Dynamics of Tent Protests and Squatting: The Refugee Movement at Oranienplatz -- Chapter 4: Practical Solidarity, Encounters and Transformative Possibilities: A Case Study -- Chapter 5: Intersectional Feminist Solidarity and Activism amongst Refugees and Migrants at International Women's Space -- Chapter 6: There is Empowerment in the Air: Media Activists Decolonize the Radio -- Chapter 7: Conclusion: Reconsidering Activism and Solidarity.

Sommario/riassunto

Illustrating new resistance strategies and mobilisations, this volume examines how EU citizens and refugee populations in Germany have opposed asylum policies and coped with hostile migration regimes. Taking as her starting point occupations of a Berlin square in 2012, the author weaves an auto-ethnographic account of her own involvement in solidarity and refugee resistance groups with archival examinations of various strategies. The book analyzes how activism is sustained in multiple ways: media solidarity groups challenge mainstream depictions; radio shows attempt to decolonize the media and resist the category of 'refugee'; a group of women comprised of migrants and asylum-seekers publish their accounts; solidarity groups help migrants to find temporary housing; campaigns align with existing groups or engage with political conversations more broadly to challenge populism, racism, and anti-migrant sentiment. As she bridges practical solidarity, media activism, and other strategies, Fazila Bhimji builds a framework to show how these tactics interrelate, interrogating specifically if the fragmentation of strategies limits anti-racist struggles, or whether providing manifold outlets for a collective struggle helps to build solidarity.