Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency.

Farzaneh Derakhshan, Stephanie Balzer, Yue Yao

Browse the full ECOOP paper archive.