Differences

This shows you the differences between two versions of the page.

--- language:langs:start [2022/06/29 15:05]
rajit [Selecting sub-language level]
+++ language:langs:start [2022/06/29 16:20]
rajit [Selecting sub-language level]
@@ Line 46: / Line 46: @@
 end
 </code>
-This specifies the default level selected for every process.
+This specifies the default level selected for every process. (Dataflow is treated as fine-grained parallel CHP.)
+<code>
+begin level
+   begin types
+   # chp process model
+     string_table chp "procname<5>"  "proc2<>"
+   # prs process model
+     string_table prs "proc3<>"
+   end
+end
+</code>
+This specifies that the particular process names should be modeled at the specified level of abstraction.