 | 1995 |
|---|
| 6 |       | Juanito Camilleri,
Glynn Winskel:
CCS with Priority Choice
Inf. Comput. 116(1): 26-37 (1995) |
| 1994 |
|---|
| 5 |  | 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 |
| 4 | | Juanito Camilleri,
Vincent Zammit:
Symbolic Animation as a Proof Tool.
TPHOLs 1994: 113-127 |
| 1991 |
|---|
| 3 | | Juanito Camilleri:
A Conditional Operator for CCS.
CONCUR 1991: 142-156 |
| 2 | | Juanito Camilleri,
Glynn Winskel:
CCS with Priority Choice
LICS 1991: 246-255 |
| 1989 |
|---|
| 1 | | Juanito Camilleri:
An operational semantics for occam.
International Journal of Parallel Programming 18(5): 365-400 (1989) |
Data released under the ODC-BY 1.0 license — See also our legal information page