05424nam 22007695 450 99646541930331620200702014746.03-642-02138-710.1007/978-3-642-02138-1(CKB)1000000000753972(SSID)ssj0000317729(PQKBManifestationID)11258696(PQKBTitleCode)TC0000317729(PQKBWorkID)10308060(PQKB)10270705(DE-He213)978-3-642-02138-1(MiAaPQ)EBC3064307(PPN)13630656X(EXLCZ)99100000000075397220100301d2009 u| 0engurnn|008mamaatxtccrFormal Techniques for Distributed Systems[electronic resource] Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings /edited by David Lee, Antonia Lopes, Arnd Poetzsch-Heffter1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (XII, 249 p.) Programming and Software Engineering ;5522Bibliographic Level Mode of Issuance: Monograph3-642-02137-9 Includes bibliographical references and index.Invited Contribution -- The Orc Programming Language -- Regular Contributions -- Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions -- Approximated Context-Sensitive Analysis for Parameterized Verification -- Verification of Parameterized Systems with Combinations of Abstract Domains -- On Model-Checking Optimistic Replication Algorithms -- Recursive Parametric Automata and ?-Removal -- A Software Platform for Timed Mobility and Timed Interaction -- Modeling, Validation, and Verification of PCEP Using the IF Language -- Distinguing Non-deterministic Timed Finite State Machines -- System Model-Based Definition of Modeling Language Semantics -- Typing Component-Based Communication Systems -- Epistemic Logic for the Applied Pi Calculus -- On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems -- Short Papers -- Using First-Order Logic to Reason about Submodule Construction -- A Model-Checking Approach for Service Component Architectures -- Dynamic Symbolic Execution of Distributed Concurrent Objects -- Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach -- A Type Graph Model for Java Programs -- Conformance Testing of Network Simulators Based on Metamorphic Testing Technique.This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009. The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.Programming and Software Engineering ;5522Computer communication systemsSoftware engineeringProgramming languages (Electronic computers)Computer programmingComputer logicComputer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Software Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer communication systems.Software engineering.Programming languages (Electronic computers).Computer programming.Computer logic.Computer Communication Networks.Software Engineering/Programming and Operating Systems.Programming Languages, Compilers, Interpreters.Programming Techniques.Software Engineering.Logics and Meanings of Programs.004.2422gerDNBLee Davidedthttp://id.loc.gov/vocabulary/relators/edtLopes Antoniaedthttp://id.loc.gov/vocabulary/relators/edtPoetzsch-Heffter Arndedthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Formal Methods for Open Object-Based Distributed SystemsBOOK996465419303316Formal Techniques for Distributed Systems774228UNISA05622nam 2200901 450 991078042000332120230912144426.01-4426-1513-31-282-05658-197866120565811-4426-8031-810.3138/9781442680319(CKB)2420000000004385(EBL)3251352(SSID)ssj0000310875(PQKBManifestationID)11265837(PQKBTitleCode)TC0000310875(PQKBWorkID)10315056(PQKB)11791083(CaPaEBR)417495(CaBNvSL)thg00600800(DE-B1597)464904(OCoLC)944177487(DE-B1597)9781442680319(Au-PeEL)EBL4671991(CaPaEBR)ebr11257678(CaONFJC)MIL205658(OCoLC)958581285(VaAlCD)20.500.12592/vqwzdx(schport)gibson_crkn/2009-12-01/5/417495(MiAaPQ)EBC4671991(OCoLC)1055585638(MdBmJHUP)musev2_105264(MiAaPQ)EBC3251352(EXLCZ)99242000000000438520160922h19921992 uy 0engur|n|---|||||txtccrSweatshop strife class, ethnicity, and gender in the Jewish labour movement of Toronto 1900-1939 /Ruth A. FragerToronto, [Ontario] ;Buffalo, [New York] ;London, [England] :University of Toronto Press,1992.©19921 online resource (331 p.)HeritageDescription based upon print version of record.0-8020-6895-2 Includes bibliographical references and index.""CONTENTS""; ""ACKNOWLEDGMENTS""; ""ABBREVIATIONS USED IN THE TEXT""; ""A NOTE ON THE USE OF YIDDISH""; ""Introduction""; ""1 A Mound of Ashes in the Golden Land: The Setting""; ""2 Pulling in One Direction: The Development of Jewish Working-Class Activism""; ""3 Uncle Moses and the Slaves: Relations between Jewish Manufacturers and Jewish Workers""; ""4 'Mixing with People on Spadina': The Tense Relations between Non-Jewish Workers and Jewish Workers""; ""5 'Better Material to Exploit': The Barriers to Women's Participation in the Labour Movement""""6 'Just as a Worker': The Dearth of Female-Oriented Strategies""""7 Doing Things That Men Do: Women Activists in the Needle Trades""; ""8 Pulling Apart: Divisions over Political Ideology""; ""Conclusion""; ""APPENDIX""; ""Part A: Statistical Information on the Jewish Population of Toronto""; ""Part B: Statistical Information on the Garment Workers of Toronto""; ""Part C: The Garment Unions in Toronto""; ""Part D: Key Strikes in Toronto's Needle Trades""; ""NOTES""; ""SELECT BIBLIOGRAPHY""; ""INDEX""; ""A""; ""B""; ""C""; ""D""; ""E""; ""F""; ""G""; ""H""; ""I""; ""J""; ""K""; ""L""; ""M""""N""""o""; ""p""; ""r""; ""s""; ""t""; ""u""; ""v""; ""w""; ""y""; ""z""; ""picture credits""In the first half of the twentieth century, many of Toronto's immigrant Jews eked out a living in the needle-trade sweatshops of Spadina Avenue. In response to their expliotation on the shop floor, immigrant Jewish garment workers built one of the most advanced sections of the Canadian and American labour movements. Much more than a collective bargaining agency, Toronto's Jewish labour movement had a distinctly socialist orientation and grew out of a vibrant Jewish working-class culture.Ruth Frager examines the development of this unique movement, its sources of strength, and its limitations, focusing particularly on the complex interplay of class, ethnic, and gender interests and identities in the history of the movement. She examines the relationships between Jewish workers and Jewish manufacturers as well as relations between Jewish and non-Jewish workers and male and female workers in the city's clothing industry.In its prime, Toronto's Jewish labour movement struggled not only to improve hard sweatshop condistions but also to bring about a fundamental socialist transformation. It was an uphill battle. Drastic economic downturns, hard employer offensives, and state repressions all worked against unionists' workplace demands. Ethnic, gender, and ideological divisions weakened the movement and were manipulated by employers and their allies.Drawing on her knowledge of Yiddish, Frager has been able to gain access to original records that shed new light on an important chapter in Canadian ethnic, labour, and women's history.The social history of Canada ;47The social history of Canada ;47Jewish labor unionsOntarioTorontoHistoryLabor movementOntarioTorontoHistoryWomen in the labor movementOntarioTorontoHistoryJewsOntarioTorontoHistoryJudenswdCanadaRelations interethniquesramTorontogndOntarioTorontofastHistory.Electronic books. Jewish labor unionsHistory.Labor movementHistory.Women in the labor movementHistory.JewsHistory.331.6/39240713541Frager Ruth A.1950-1467666MiAaPQMiAaPQMiAaPQBOOK9910780420003321Sweatshop strife3678422UNINA