A Calculus for Attribute-Based Memory Updates.

Marino Miculan, Michele Pasqua

Browse the full ICTAC paper archive.