Swen Jacobs's Books

Decidability of Parameterized Verification

By: Roderick Bloem,Swen Jacobs,Ayrat Kalimov,Igor Konnov

Write a review Read reviews Take a Quiz Solve Book Puzzle

Decidability of Parameterized Verification

By: Roderick Bloem,Swen Jacobs,Ayrat Kalimov,Igor Konnov

While the classic model checking problem is to decide whether a finite system satisfies a specification, the goal of parameterized model checking is to decide, given finite systems (n) parameterized by n ∈ N, whether, for all n ∈ N, the system (n) satisfies a specification. In this book we consider the important case of (n) being a concurrent system, where the number of replicated processes depends on the parameter n but each process is independent of n. Examples are cache coherence protocols, networks of finite-state agents, and systems that solve mutual exclusion or scheduling problems. Further examples are abstractions of systems, where the processes of the original systems actually depend on the parameter. The literature in this area has studied a wealth of computational models based on a variety of synchronization and communication primitives, including token passing, broadcast, and guarded transitions. Often, different terminology is used in the literature, and results are based on implicit assumptions. In this book, we introduce a computational model that unites the central synchronization and communication primitives of many models, and unveils hidden assumptions from the literature. We survey existing decidability and undecidability results, and give a systematic view of the basic problems in this exciting research area.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

158

Publisher

Springer Nature

Published Date

ISBN 10

3031020111

ISBN 13

9783031020117

Protesting Culture and Economics in Western Europe

New Cleavages in Left and Right Politics

By: Swen Hutter

Write a review Read reviews Take a Quiz Solve Book Puzzle

Protesting Culture and Economics in Western Europe

New Cleavages in Left and Right Politics

By: Swen Hutter

In this far-reaching work, Swen Hutter demonstrates the usefulness of studying both electoral politics and protest politics to better understand the impacts of globalization. Hutter integrates research on cleavage politics and populist parties in Western Europe with research on social movements. He shows how major new cleavages restructured protest politics over a thirty-year period, from the 1970s through the 1990s. This major study brings back the concept of cleavages to social movement studies and connects the field with contemporary research on populism, electoral behavior, and party politics. Hutter’s work extends the landmark 1995 New Social Movements in Western Europe, the book that spurred the recognition that a broad empirical frame is valuable for understanding powerful social movements. This new book shows that it is also beneficial to include the study of political parties and protest politics. While making extensive use of public opinion, protest event, and election campaigning data, Hutter skillfully employs contemporary data from six West European societies—Austria, Britain, France, Germany, the Netherlands, and Switzerland—to account for responses to protest events and political issues across countries. Protesting Culture and Economics in Western Europe makes productive empirical, methodological, and theoretical contributions to the study of social movements and comparative politics. Empirically, it employs a new approach, along with new data, to explain changes in European politics over several decades. Methodologically, it makes rigorous yet creative use of diverse datasets in innovative ways, particularly across national borders. And theoretically, it makes a strong claim for considering the distinctive politics of protest across various issue domains as it investigates the asymmetrical politics of protest from left and right.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

291

Publisher

U of Minnesota Press

Published Date

ISBN 10

1452941661

ISBN 13

9781452941660

Love and Society

Special Social Forms and the Master Emotion

By: Swen Seebach

Write a review Read reviews Take a Quiz Solve Book Puzzle

Love and Society

Special Social Forms and the Master Emotion

By: Swen Seebach

Why does love matter? Love and Society discusses the meaning and importance of love for contemporary society. Love is not only an emotion that occurs in our intimate relationships; it is a special emotion that allows us to relate to each other in a lasting fashion, to create out of our individual pasts a shared past, which enables us to project a shared future. Bringing together the idea of Simmel’s second order forms with theories of love, this insightful volume shows that the answer to why love is so central to society can be found in the social transformation of the last two centuries. It also explains how we can build our strongest social bonds on the fragility of an emotions thanks to the creation of "special moments" (love rituals) and "intimate stories" (love myths) that are central to the weaving of lasting social bonds. Going to the cinema, reading a book together or sharing songs are forms of weaving bonds of love and part of the cycle of love. But love is not only shared between two people; the desire and the search for love is something we share with almost all members of society. With rich empirical data, an analysis of love’s transformation in modernity, and a critical engagement with classical and contemporary theorists, this book provides a lively discussion on the meaning and importance of love for today’s society. It will be of interest to undergraduate and postgraduate students and postdoctoral researchers who are interested in fields such as Sociology of Emotions, Sociological Theory and Sociology of Morality.

Average ratings

N/A