output
19992026
most citedSecondary Frequency and Voltage Control of Islanded Microgrids via Distributed Averaging

976 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2018 · cs.LOShow all

3 papers · 2 filters

cs.LO2018★ 2 cited

Context-Free Session Types for Applied Pi-Calculus

Jens Aagaard, Hans Hüttel, Mathias Jakobsen +1

We present a binary session type system using context-free session types to a version of the applied pi-calculus of Abadi et. al. where only base terms, constants and channels can…

cs.LO2018★ 7 cited

A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

Pujie Han, Zhengjun Zhai, Brian Nielsen +1

This work presents a compositional approach for schedulability analysis of Distributed Integrated Modular Avionics (DIMA) systems that consist of spatially distributed ARINC-653 mo…

cs.LO2018★ 3 cited

Free complete Wasserstein algebras

Radu Mardare, Prakash Panangaden, Gordon D. Plotkin

We present an algebraic account of the Wasserstein distances on complete metric spaces, for . This is part of a program of a quantitative algebraic theory of effect…