ccs: show CCS syntax


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


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