"Freshness and Name-Restriction in Sets of Traces with Names."

Murdoch James Gabbay, Vincenzo Ciancia (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics