An operational semantics for occam. - Juanito Camilleri (Int. J. Parallel Program., 1989)

Priority in process calculi. - Juanito Camilleri (1990)

A Conditional Operator for CCS. - Juanito Camilleri (CONCUR, 1991)

Symbolic Animation as a Proof Tool. - Juanito Camilleri; Vincent Zammit (TPHOLs, 1994)

CCS with Priority Choice - Juanito Camilleri; Glynn Winskel (Inf. Comput., 1995)