Abstract
We identify two features of common process algebra operations: their first-order flavour and
the fact that they respect bisimulation in a uniform manner. For this purpose two notions are introduced: first, a notion of first-order definable operations on process graphs and second, respect for sequence extension. In the first part of
... read more