Abstract
New operators are introduced on top of ACP [BK 84] in order to incorporate stable
signals in process algebra. Semantically this involves assigning labels to nodes of process graphs.
The labels of nodes are called signals. In combination with the operators of BPA, a signal insertion
operator allows to describe each finite tree
... read more