A coordination protocol language for power grid operation control
Artikel i vetenskaplig tidskrift, 2019
Power grids
Interaction protocols
Process calculus
Författare
Yehia Abd Alrahman
Chalmers, Data- och informationsteknik, Formella metoder
Göteborgs universitet
Hugo Torres Vieira
IMT Alti Studi Lucca
Journal of Logical and Algebraic Methods in Programming
2352-2208 (ISSN) 2352-2216 (eISSN)
Vol. 109 UNSP 100487Ämneskategorier
Annan data- och informationsvetenskap
Inbäddad systemteknik
Datorsystem
DOI
10.1016/j.jlamp.2019.100487