relabel: change (or show) the definition of a relabelling identifier

relabel R = [a/p,...];

binds a relabelling function

relabel R;

prints function bound to R


a/p means that p is relabelled to a. You cannot relabel tau. If p is relabelled to a, then 'p is also relabelled to 'a. You cannot define a relabelling function which violates this rule.

Edinburgh Concurrency Workbench (v7.1). Page generated: Sun Jul 18 11:46:51 BST 1999