Stem hotl$ (all stems)
2 papers:
- ASPLOS-2013-XiangDLB #higher-order #locality #named
- HOTL: a higher order theory of locality (XX, CD, HL, BB), pp. 343–356.
- TestCom-FATES-2008-MerayoNR #named
- THOTL: A Timed Extension of HOTL (MGM, MN, IR), pp. 86–102.