diff --git a/Pasted image 20220126150032.png b/Pasted image 20220126150032.png
new file mode 100644
index 0000000..5b86291
Binary files /dev/null and b/Pasted image 20220126150032.png differ
diff --git a/School/Analyse/Periode 2/Week 1.md b/School/Analyse/Periode 2/Week 1.md
index 2f6487f..d3de780 100644
--- a/School/Analyse/Periode 2/Week 1.md	
+++ b/School/Analyse/Periode 2/Week 1.md	
@@ -78,11 +78,19 @@ Useful for:
 - Failure isolation (interleaving multiple tasks, a exception on one task will not bring down the rest)
 
 # Abstraction in Concurrency
-Concurrent program consists of a finite set of (sequential) processes.
+**Concurrent program** consists of a finite set of (sequential) processes.
+
+Processes are written using a finite set of **statements**.
+
+Execution of concurrent program proceeds by executing a sequence of the statements obtained by **arbitrarily interleaving** the statements from the processes.
+
+![[abstraction-in-conc.png]]
+
+p1->q2->p2->q1 is not possible. because we are breaking the order of execution of program q.  q must execute q1 before q2.
+
+# Atomic statement
 
-Processes are written using a finite set of statements.
 
-Execution of concurrent program proceeds by exec
 
 
 
diff --git a/abstraction-in-conc.png b/abstraction-in-conc.png
new file mode 100644
index 0000000..edfb1d4
Binary files /dev/null and b/abstraction-in-conc.png differ