Juanito Camilleri

According to our database, Juanito Camilleri authored at least 5 papers between 1989 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1994

Symbolic Animation as a Proof Tool.

Juanito Camilleri, Vincent Zammit

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1991

CCS with Priority Choice

Juanito Camilleri, Glynn Winskel

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

A Conditional Operator for CCS.

Juanito Camilleri

Proceedings of the CONCUR '91, 1991

1990

Priority in process calculi.

Juanito Camilleri

PhD thesis, 1990

1989

An operational semantics for occam.

Juanito Camilleri

Int. J. Parallel Program., 1989