// Place global declarations here.
double x = 10.0;Template// Place local declarations here.AB// Place template instantiations here.
Process = Template();
// List one or more processes to be composed into a system.
system Process;
Pr[<=10] (<>Process.A)Pr[<=10] (<>Process.B)