LEADER 04040nam 2200541 450 001 996464393503316 005 20220201105304.0 010 $a3-030-78142-9 024 7 $a10.1007/978-3-030-78142-2 035 $a(CKB)4100000011954947 035 $a(DE-He213)978-3-030-78142-2 035 $a(MiAaPQ)EBC6638849 035 $a(Au-PeEL)EBL6638849 035 $a(OCoLC)1256265305 035 $a(PPN)257358420 035 $a(EXLCZ)994100000011954947 100 $a20220201d2021 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aCoordination models and languages $e23rd IFIP WG 6.1 international conference, COORDINATION 2021 : held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 : Valletta, Malta, June 14-18, 2021 : proceedings /$fFerruccio Damiani, Ornela Dardha (editors) 205 $a1st ed. 2021. 210 1$aCham, Switzerland :$cSpringer,$d[2021] 210 4$dİ2021 215 $a1 online resource (XVI, 301 p. 134 illus., 56 illus. in color.) 225 1 $aLecture Notes in Computer Science ;$v12717 311 $a3-030-78141-0 327 $aModeling and analyzing resource-sensitive actors: A tutorial introduction -- Manifestly Phased Communication via Shared Session Types -- Deconfined Global Types for Asynchronous Sessions -- Relating Functional and Imperative Session Types -- Safe Session-Based Asynchronous Coordination in Rust -- A Session Subtyping Tool -- Towards Probabilistic Session-Type Monitoring -- Java Typestate Checker -- Asynchronous Global Types in co-logic Programming -- Tuple-Based Coordination in Large-Scale Situated Systems -- A Theory of Automated Market Makers in DeFi -- ReGraDa: Reactive Graph Data -- The Structure of Concurrent Process Histories -- A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts -- A Practical Tool-Chain for the Development of Coordination Scenarios: Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator -- Microservice Dynamic Architecture-Level Deployment Orchestration -- Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices -- ScaFi-Web: a Web-Based Application for Field-Based Coordination Programming. 330 $aThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. The 15 regular papers, 2 short papers, and 1 tutorial paper presented in this book were carefully reviewed and selected from 31 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development. The tool papers describe experience reports, technological artefacts, and innovative prototypes, as well as educational tools in the scope of the research topics of the conference. Due to the Corona pandemic this event was held virtually. 410 0$aLecture notes in computer science ;$v12717. 606 $aSoftware architecture$vCongresses 606 $aElectronic data processing$xDistributed processing$vCongresses 606 $aElectronic data processing$xDistributed processing 615 0$aSoftware architecture 615 0$aElectronic data processing$xDistributed processing 615 0$aElectronic data processing$xDistributed processing. 676 $a005 702 $aDamiani$b Ferruccio 702 $aDardha$b Ornela 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996464393503316 996 $aCoordination Models and Languages$9772324 997 $aUNISA LEADER 02958oam 22006494a 450 001 9910794595903321 005 20231211170036.0 010 $a1-5261-5863-9 010 $a1-5261-5862-0 024 7 $a10.7765/9781526158628 035 $a(CKB)4100000011742167 035 $a(MiAaPQ)EBC6462889 035 $a(OCoLC)1273307703 035 $a(MdBmJHUP)musev2_82448 035 $a(DE-B1597)660636 035 $a(DE-B1597)9781526158628 035 $a(EXLCZ)994100000011742167 100 $a20160218d2012 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPoison, detection and the Victorian imagination$fIan Burney 205 $aPaperback edition. 210 1$aNew York :$cManchester University Press,$d2012. 210 4$dİ2012. 215 $a1 online resource (204 pages) 225 0 $aEncounters : cultural histories. 311 $a0-7190-7376-6 311 $a0-7190-8778-3 330 $aThis fascinating book looks at the phenomenon of murder and poisoning in the nineteenth century. Focusing on the case of William Palmer, a medical doctor who in 1856 was convicted of murder by poisoning, it examines how his case baffled toxicologists, doctors, detectives and judges. The investigation commences with an overview of the practice of toxicology in the Victorian era, and goes on to explore the demands imposed by legal testimony on scientific work to convict criminals. In addressing Palmer's trial, Burney focuses on the testimony of Alfred Swaine Taylor, a leading expert on poisons, and integrates the medical, legal and literary evidence to make sense of the trial itself and the sinister place of poison in wider Victorian society. Ian Burney has produced an exemplary work of cultural history, mixing a keen understanding of the contemporary social and cultural landscape with the scientific and medical history of the period. 606 $aCriminal investigation$zGreat Britain$xHistory$y19th century 606 $aPoisoning$zGreat Britain$xHistory$y19th century 606 $aToxicology$zGreat Britain$xHistory$y19th century 610 $aVictorian imagination. 610 $aWilliam Palmer. 610 $acrime of civilization. 610 $acriminal poisoning. 610 $alegislative framework. 610 $amodern poison. 610 $apoison detection. 610 $apoison hunter. 610 $ascientific engagement. 610 $atoxicological knowledge. 615 0$aCriminal investigation$xHistory 615 0$aPoisoning$xHistory 615 0$aToxicology$xHistory 676 $a364.1523092 700 $aBurney$b Ian A$01102512 712 02$aManchester University Press.$4pbl 801 0$bMdBmJHUP 801 1$bMdBmJHUP 906 $aBOOK 912 $a9910794595903321 996 $aPoison, detection and the Victorian imagination$93748985 997 $aUNINA