1. Abdallah J, Hawkins AE (2003) Formal behavioural synthesis of Handel-c parallel hardware implementation for functional specifications. In: Proceedings of the 36th annual Hawaii international conference on system sciences. IEEE Press, pp 278–288
2. Barrett G, Goldsmith M, Jones G, Kay A (1988) The meaning and implementation of PRI ALT in occam. In: Askew C (ed) Occam and the transputer, research and applications (OUG-9), July 1988
3. Butterfield A (2001) Denotational semantics for prialt-free Handel-C. Technical Report TCD-CS-2001-53, Dept. of Computer Science, Trinity College, Dublin University
4. Butterfield A (2001) Interpretative semantics for prialt-free Handel-C. Technical Report TCD-CS-2001-54, Dept. of Computer Science, Trinity College, Dublin University
5. Butterfield A, Woodcock J (2002) Semantics of prialt in Handel-C. In: Pasco J, Welch P, Loader R, Sunderam V (eds) Communicating process architectures – 2002, Concurrent Systems Engineering, Amsterdam, September. IOS Press, Amsterdam, pp 1–16