================================================================================
P9421   J.A. Bergstra & A. Ponse
        "Frame algebra with synchronous communication"


We introduce frames as basic objects for the construction of transition
systems, process graphs or automata. We provide an algebraic notation for
frames, and display some theoretical results.