Export 2 results:
Author Title Type [ Year
] Filters: First Letter Of Title is S and Author is H. Mantel [Clear All Filters]
, “Scheduler-Independent Declassification”, in Proceedings of the 11th International Conference on Mathematics of Program Construction (MPC 2012), 2012.
, “Service Automata”, in Proceedings of the 8th International Workshop on Formal Aspects of Security and Trust (FAST 2011), 2012.