@article{llfatr-j,
title = "Fully abstract trace semantics for protected module architectures ",
journal = "Computer Languages, Systems \& Structures ",
volume = "42",
number = "0",
pages = "22 - 45",
year = "2015",
note = "Special issue on the Programming Languages track at the 29th \{ACM\} Symposium on Applied Computing ",
issn = "1477-8424",
doi = "http://dx.doi.org/10.1016/j.cl.2015.03.002",
url = "http://www.sciencedirect.com/science/article/pii/S1477842415000081",
author = "Marco Patrignani and Dave Clarke",
}