Complexity Information Flow in a Multi-threaded Imperative Language.

Jean-Yves Marion, Romain Pchoux

Browse the full TAMC paper archive.