| 1995 |
|---|
| 5 | | Juanito Camilleri,
Glynn Winskel:
CCS with Priority Choice
Inf. Comput. 116(1): 26-37 (1995) |
| 1994 |
|---|
| 4 | | Thomas F. Melham,
Juanito Camilleri:
Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings
Springer 1994 |
| 3 | | Juanito Camilleri,
Vincent Zammit:
Symbolic Animation as a Proof Tool.
TPHOLs 1994: 113-127 |
| 1991 |
|---|
| 2 | | Juanito Camilleri:
A Conditional Operator for CCS.
CONCUR 1991: 142-156 |
| 1 | | Juanito Camilleri,
Glynn Winskel:
CCS with Priority Choice
LICS 1991: 246-255 |
