Kaisa Sere
-
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)