diff --git a/AlgebraicDataflowArchitectureModel/models/Base.model b/AlgebraicDataflowArchitectureModel/models/Base.model
new file mode 100644
index 0000000..15495df
--- /dev/null
+++ b/AlgebraicDataflowArchitectureModel/models/Base.model
@@ -0,0 +1,18 @@
+channel CIO{
+	out r1(x1:Int,set(x1')) == x1'
+}
+channel CIO2{
+	out r2(x2:Int,set(x2')) == x2'
+}
+channel CIO3{
+	out r4(x4:Int,set(x4')) == x4'
+}
+channel C1{
+	in r1(x1,update(x1,x2)) == x1
+	in r2(x2,update(x1,x2)) == x2
+	out r3(x4:Int,update(x1,x2)) == x1 + x2
+}
+channel C2{
+	in r3(x3,update2(x3))== x3
+	out r5(x4:Int,update2(x3)) == x3 * 0.5
+}
\ No newline at end of file