Nondeterministic Asynchronous Dataflow in Isabelle/HOL.

Rafael Castro Gonalves Silva, Laouen Fernet, Dmitriy Traytel

Browse the full ITP paper archive.