output
20162025
most citedGreenFlow: A Computation Allocation Framework for Building Environmentally Sound Recommendation System

6 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 2016Show all

1 paper · 1 filter

cs.PL2016

Undecidability of Asynchronous Session Subtyping

Mario Bravetti, Marco Carbone, Gianluigi Zavattaro

Session types are used to describe communication protocols in distributed systems and, as usual in type theories, session subtyping characterizes substitutability of the communicat…