IN5170 - Models of Concurrency

Lectures

L1_Introduction.pdf
Last modified Aug. 21, 2023 3:57 PM by Einar Broch Johnsen
l10_linear_types.pdf
Last modified Oct. 30, 2023 11:05 AM by Eduard Kamburjan
l11_session_types.pdf
Last modified Nov. 4, 2023 8:00 PM by Eduard Kamburjan
l12_code.tar.gz
Last modified Nov. 4, 2023 8:00 PM by Eduard Kamburjan
l12_rust-(preliminary).pdf
Last modified Nov. 4, 2023 8:00 PM by Eduard Kamburjan
l13_resourcemodeling.pdf
Last modified Nov. 13, 2023 11:59 AM by Silvia Lizeth Tapia Tarifa
l13_summary.pdf
Last modified Nov. 17, 2023 12:34 PM by Eduard Kamburjan
L2_Java.pdf
Last modified Aug. 28, 2023 2:01 PM by Einar Broch Johnsen
L3_Locksbarriers.pdf
Last modified Sep. 5, 2023 3:08 PM by Eduard Kamburjan
L4_Semaphores.pdf
Last modified Sep. 11, 2023 11:28 AM by Einar Broch Johnsen
L5_Monitors.pdf
Last modified Sep. 18, 2023 2:16 PM by Einar Broch Johnsen
l6_messagepassing.pdf
Last modified Sep. 26, 2023 2:53 PM by Silvia Lizeth Tapia Tarifa
l7_actors-activeobjects.pdf
Last modified Oct. 2, 2023 7:18 PM by Silvia Lizeth Tapia Tarifa
l8_concurrency_go.pdf
Last modified Oct. 9, 2023 1:43 PM by Eduard Kamburjan
l9_types-(updated).pdf
Last modified Oct. 16, 2023 2:53 PM by Eduard Kamburjan
Feed from this page