ccs: show CCS syntax
ccs;
show all CCS syntax
ccs act;
show syntax of CCS actions
ccs agent;
show syntax of CCS agents
ccs relabel;
show syntax of CCS relabelling functions
Notes
The formatting's not great, sorry: you'll find it more convenient to
consult the Web page or the user manual.
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999