/*
description: Elementary channels. Selection bindings but no quantifiers.
(Figure 3, Bourke & Sowmya, EMSOFT'08)
testname: TestTemplate
system: T=Template(5);
Test=TestTemplate(5);
system T, Test;
layout: neato
tabulate: yes
author: T. Bourke
created: 20071023
*/
chan c;
Templateconst int n// Place local declarations here.
clock x[n];
s0Ready// Place template instantiations here.
Process = Template(5);
// List one or more processes to be composed into a system.
system Process, Ready;