Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.


Aceto, Luca, Achilleos, Antonis, Francalanza, Adrian, Ingólfsdóttir, Anna and Lehtinen, Karoliina
Adventures in Monitorability: From Branching to Linear Time and Back Again. Proc. ACM Program. Lang. 3, POPL, Article 52 (January 2019), 29 pages.

This list was generated on Wed Jun 17 17:13:02 2020 BST.