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

Murdoch James Gabbay, Vincenzo Ciancia

Browse the full FOSSACS paper archive.