/*
description: Elementary channels. No selection bindings or quantifiers.
(Figure 2, Bourke & Sowmya, EMSOFT'08)
layout: fdp
tabulate: yes
author: T. Bourke
created: 20071023
*/
chan c, d;
Template// Place local declarations here.
clock x;
s3s2s1// Place template instantiations here.
Process = Template();
// List one or more processes to be composed into a system.
system Process;