CCS with priority choice J Camilleri, G Winskel Information and Computation 116 (1), 26-37, 1995 | 110 | 1995 |
Reasoning with inductively defined relations in the HOL theorem prover J Camilleri, T Melham Technical report, University of Cambridge Computer Laboratory, 1992 | 99 | 1992 |
An operational semantics for occam J Camilleri International Journal of Parallel Programming 18 (5), 365-400, 1989 | 25 | 1989 |
Symbolic compilation and execution of programs by proof: A case study in HOL J Camilleri University of Cambridge, Computer Laboratory, 1991 | 22 | 1991 |
Priority in process calculi JA Camilleri University of Cambridge, Computer Laboratory, 1991 | 15 | 1991 |
Introducing a priority operator to CCS J Camilleri University of Cambridge, Computer Laboratory, 1989 | 15 | 1989 |
A conditional operator for CCS J Camilleri International Conference on Concurrency Theory, 142-156, 1991 | 13 | 1991 |
Symbolic animation as a proof tool J Camilleri, V Zammit HOL Users' Group Workshop, 113-127, 1994 | 9 | 1994 |
A National Strategy for Information Technology for Malta J Camilleri Office of the National Strategy for Information Technology, University of Malta, 1994 | 8 | 1994 |
CCS with a priority choice G Winskel, J Camilleri Proceedings of LICS, 1991 | 5 | 1991 |
Information technology in education. Business plan J Camilleri Office of the National Strategy for Information Technology, University of Malta, 1994 | 4 | 1994 |
Malta: a Mediterranean island state, its university, and its future J Camilleri, A Caruana Global Perspectives on Technology Transfer and Commercialization: Building …, 2011 | 1 | 2011 |
An Operational Semantics for Occam:(extended Version) J Camilleri University of Cambridge, Computer Laboratory, 1988 | 1 | 1988 |
Truth will prevail! J Camilleri Pilates of the Mediterranean, 2017 | | 2017 |
Lectures 16: program 8: interview with University rector prof Juanito Camilleri J Camilleri | | 2011 |
2020 vision or optical illusion? J Camilleri University of Malta, 2010 | | 2010 |
THE SUSTAINABILITY OF MALTA’S SOCIAL SECURITY SYSTEM: A GLIMPSE AT MALTA’S WELFARE STATE AND SUGGESTIONS FOR A RADICAL CHANGE OF POLICY S Calleya, J Camilleri, G Debono, R Fsadni, P Micallef, M Mizzi, J Sammut, ... | | 2009 |
A Euro-Mediterranean Multimedia Courseware Production Centre J Camilleri Proceedings of the 1st Euro-Mediterranean Conference on Multimedia Technologies, 1998 | | 1998 |
Dismantling the barriers between Science and Technology J Camilleri, A Mifsud Proceedings of the Workshop of the Faculty of Science, University of Malta, 1997 | | 1997 |
Information Technology: An Axiom for Malta's Socio-Economic Development J Camilleri Maltese Business: the challenges ahead, 33-50, 1996 | | 1996 |