A coordination protocol language for power grid operation control

DOI10.1016/j.jlamp.2019.100487zbMath1435.68332OpenAlexW2973510517WikidataQ95560980 ScholiaQ95560980MaRDI QIDQ2011215

Yehia Abd Alrahman, Hugo Torres Vieira

Publication date: 28 November 2019

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2019.100487

zbMATH Keywords

process calculuspower gridsinteraction protocols

Mathematics Subject Classification ID

Deterministic network models in operations research (90B10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Agent technology and artificial intelligence (68T42) Networked control (93B70)

Uses Software

• Erlang

Cites Work

• Conversation types
• Bisimulations for a calculus of broadcasting systems
• A calculus for collective-adaptive systems and its behavioural theory
• Enforcing Availability in Failure-Aware Communicating Systems
• Deadlock-freedom-by-design
• Multiparty Asynchronous Session Types
• Procedural Choreographic Programming
• Dynamic multirole session types
• The Conversation Calculus: A Model of Service-Oriented Computation

This page was built for publication: A coordination protocol language for power grid operation control