================================================================================
P9305b  J.C.M. Baeten & J.A. Bergstra
        "On sequential composition, action prefixes and process prefix"
        (revised version of P9305)


We illustrate the difference between sequential composition in process
algebra axiomatisations like ACP and action prefixing in process calculi
like CCS. We define both early and late input in a general framework
extending ACP, and consider various subalgebras, some very close to value
passing CCS, another one close to CSP.



@article{P9305b,
        author =        {J.C.M. Baeten and J.A. Bergstra},
        year =          {1994},
        journal =       {Formal Aspects of Computing},
        number =        {6},
        volume =        {3},
        pages =         {},
        title =         {On sequential composition, action prefixes and
                         process prefix}
}

[
J.C.M. Baeten & J.A. Bergstra, On sequential composition, action prefixes
and process prefix, Progr. report P9305, UvA 1993, report CSN 93/14, EUT
1993. To appear in FAC 6 (3), 1994.
]