Alexandra Silva

Binding

J. Log. Algebraic Methods Program., (2021): 100617

Electronic Notes in Theoretical Computer Science, (2020): 283-304

CMCS, pp.68-89, (2020)

CONCUR, pp.22, (2020)

ACM Transactions on Computational Logic, no. 3 (2020): 1-63

FoSSaCS, pp.381-400, (2020)

Journal of Logical and Algebraic Methods in Programming, (2019): 112-125

Sci. Comput. Program., (2019): 102320

ICALP, (2019)

Proceedings of the ACM on Programming Languages, no. POPL (2019): 61-28

MPC, (2019): 385-413

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, (2019): 190-203

Journal of Logical and Algebraic Methods in Programming, (2019): 130-153

CALCO, (2019)

CONCUR, (2019)

MARINE ECOLOGY PROGRESS SERIES, (2019): 183-198

Electronic Notes in Theoretical Computer Science, (2018): 91-119

It's All About Coordination, pp.139-159, (2018)