Juanito Camilleri

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

Collaborative distances:

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

1995

CCS with Priority Choice

Juanito Camilleri, Glynn Winskel

Inf. Comput., January, 1995

1994

Symbolic Animation as a Proof Tool.

Juanito Camilleri, Vincent Zammit

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

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