LEADER 03726oam 2200553 450 001 9910557341003321 005 20231006054430.0 010 $a1-78990-547-8 035 $a(CKB)4100000011609274 035 $a(MiAaPQ)EBC6407944 035 $a(UtOrBLW)eep9781789905472 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/64250 035 $a(EXLCZ)994100000011609274 100 $a20210511d2020 uy 0 101 0 $aeng 135 $aurun||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aThe evolution of electricity markets in Europe /$fLeonardo Meeus 210 1$aNorthampton :$cEdward Elgar Publishing,$d2020. 215 $a1 online resource (192 pages) 225 1 $aLoyola de palacio series on european energy policy 311 $a1-78990-546-X 320 $aIncludes bibliographical references and index. 327 $aContents: Introduction -- Part I - How to trade and transport electricity across national borders? -- 1. Why did we start with electricity markets in Europe? -- 2. Who gets the rights to trade across borders? -- 3. How to calculate border trade constraints? -- 4. Who pays for the network when trade is international? -- Part II - How to combine electricity trade with system security to keep the lights on? -- 5. Who is responsible for balancing the system? -- 6. How to organize system operation and connection requirements? -- 7. How to ensure adequate investment in power plants? -- Part III - How to put the citizen at the centre of the energy transition? -- 8. How to put the citizen at the centre of the energy transition? -- 9. Conclusion -- Index. 330 $a"Bridging theory and practice, this book offers insights into how Europe has experienced the evolution of modern electricity markets from the end of the 1990s to the present day. It explores defining moments in the process, including the four waves of European legislative packages, landmark court cases, and the impact of climate strikes and marches. Leonardo Meeus explains the sequence of electricity markets in Europe from wholesale to balancing markets, forward transmission markets, capacity mechanisms, redispatching and flexibility markets. Chapters explore current issues including the new paradigm that places the citizen at the centre of the energy transition. Concluding that most of the market integration process in Europe so far has required horizontal coordination between transmission system operators in different countries, the book looks ahead to the importance of vertical coordination between the transmission and distribution. An invaluable book for energy policymakers and practitioners working in Europe, the solutions offered for contemporary issues will also be helpful for those working in international or multi-region electricity markets more widely. Academics involved in the world of electricity regulation will also find this an invigorating read"--$cProvided by publisher. 410 0$aLoyola de Palacio series on European energy policy. 606 $aElectric utilities$zEurope 607 $aEurope$2fast 610 $aelectricity markets 610 $aintegration process 610 $aeurope 610 $aeuropean union 610 $aregulation 610 $anetwork codes 615 0$aElectric utilities 676 $a333.7932094 700 $aMeeus$b Leonardo$01220285 712 02$aEdward Elgar Publishing, 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 801 2$bTH-BaUNE 906 $aBOOK 912 $a9910557341003321 996 $aThe evolution of electricity markets in Europe$92822992 997 $aUNINA 999 $axxx$cu LEADER 03905nam 22007455 450 001 9910299203603321 005 20200703134056.0 010 $a3-319-21491-8 024 7 $a10.1007/978-3-319-21491-7 035 $a(CKB)3710000000521518 035 $a(SSID)ssj0001584275 035 $a(PQKBManifestationID)16265657 035 $a(PQKBTitleCode)TC0001584275 035 $a(PQKBWorkID)14866512 035 $a(PQKB)11057872 035 $a(DE-He213)978-3-319-21491-7 035 $a(MiAaPQ)EBC6314975 035 $a(MiAaPQ)EBC5595626 035 $a(Au-PeEL)EBL5595626 035 $a(OCoLC)921141046 035 $z(PPN)258849290 035 $a(PPN)190530677 035 $a(EXLCZ)993710000000521518 100 $a20150902d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aIntroduction to Concurrency Theory $eTransition Systems and CCS /$fby Roberto Gorrieri, Cristian Versari 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XI, 334 p. 63 illus.) 225 1 $aTexts in Theoretical Computer Science. An EATCS Series,$x1862-4499 300 $aIncludes index. 311 $a3-319-21490-X 327 $aIntroduction -- Transition Systems and Behavioral Equivalences -- CCS: A Calculus of Communicating Systems -- Algebraic Laws, Congruences and Axiomatizations -- Additional Operators -- Multi-CCS -- Glossary -- References -- Index. 330 $aThis book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study various notions of equality between systems, and to investigate in detail the expressive power of the models considered. The authors proceed from very basic results to increasingly complex issues, with many examples and exercises that help to reveal the many subtleties of the topic. The book is suitable for advanced undergraduate and graduate students in computer science and engineering, and scientists engaged with theories of concurrency. 410 0$aTexts in Theoretical Computer Science. An EATCS Series,$x1862-4499 606 $aComputers 606 $aComputer science?Mathematics 606 $aSoftware engineering 606 $aLogic, Symbolic and mathematical 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 615 0$aComputers. 615 0$aComputer science?Mathematics. 615 0$aSoftware engineering. 615 0$aLogic, Symbolic and mathematical. 615 14$aTheory of Computation. 615 24$aMathematics of Computing. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aMathematical Logic and Foundations. 676 $a004.0151 700 $aGorrieri$b Roberto$4aut$4http://id.loc.gov/vocabulary/relators/aut$0597785 702 $aVersari$b Cristian$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910299203603321 996 $aIntroduction to Concurrency Theory$92533493 997 $aUNINA