Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures.

Claiborne Johnson, Thomas MacGahan, John Heaps, Kevin Baldor, Jeffery von Ronne, Jianwei Niu

Browse the full SACMAT paper archive.