| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910674354103321 |
|
|
Autore |
Atif Muhammad |
|
|
Titolo |
Understanding behaviour of distributed systems using mCRL2 / / Muhammad Atif and Jan Friso Groote |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham, Switzerland : , : Springer, , [2023] |
|
©2023 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (241 pages) |
|
|
|
|
|
|
Collana |
|
Studies in Systems, Decision and Control, , 2198-4190 ; ; 458 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Electronic data processing - Distributed processing |
System analysis |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Introducing mCRL2 -- Automata to Represent Behaviour -- Communicating processes -- Behavioural Equivalences -- Data Types and Data-dependent Behaviour -- Model-Checking -- The Modal µ-Calculus -- Linear Processes and Parameterised Boolean Equation Systems -- Applications: Puzzles and Games -- Applications: Distributed Algorithms. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. The toolset mCRL2 provides a language to specify the behaviour of distributed systems, in particular where there is concurrency with inter-process communication. This language allows us to analyse a distributed system with respect to its functional requirements. For example, biological cells, supply chain management systems, patient support platforms, and communication protocols. The underlying technique is based on verifying requirements through model checking. The book explains the syntax of mCRL2 and offers modelling tips and tricks. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910966272703321 |
|
|
Autore |
Yee Shirley J. <1959-> |
|
|
Titolo |
An immigrant neighborhood : interethnic and interracial encounters in New York before 1930 / / Shirley J. Yee |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Philadelphia, : Temple University Press, 2012 |
|
|
|
|
|
|
|
ISBN |
|
9786613333889 |
9781283333887 |
1283333880 |
9781592131297 |
1592131298 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (257 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Immigrants - New York (State) - New York - History - 20th century |
Ethnic neighborhoods - New York (State) - New York - History - 20th century |
New York (N.Y.) Race relations History 20th century |
New York (N.Y.) Social conditions 20th century |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
"Households, families and community" -- "Building commercial relations" -- "Sustaining life and caring for the dead" -- Mixing with the sinners: the anti-vice movement -- "On (un)common ground: religious politics in settlements and missions. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Examining race and ethnic relations through an intersectional lens, Shirley Yee's An Immigrant Neighborhoodinvestigates the ways that race, class, and gender together shaped concepts of integration and assimilation as well as whiteness and citizenship in lower Manhattan during the late nineteenth and early twentieth-centuries.In contrast to accounts of insulated neighborhoods and ethnic enclaves, Yee unearths the story of working class urban dwellers of various ethnic groups-Chinese, Jews, Italians, and Irish-routinely interacting in social and economic settings.<P |
|
|
|
|
|
|
|
| |