Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Juanito Camilleri

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1995
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/CamilleriW95
- ask others
Juanito Camilleri, Glynn Winskel: CCS with Priority Choice. Inf. Comput. 116(1): 26-37 (1995)
1994
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/CamilleriZ94
- ask others
Juanito Camilleri, Vincent Zammit: Symbolic Animation as a Proof Tool. TPHOLs 1994: 113-127
[e1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/1994
- ask others
Thomas F. Melham, Juanito Camilleri (Eds.): Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings. Lecture Notes in Computer Science 859, Springer 1994, ISBN 3-540-58450-1
1991
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/concur/Camilleri91
- ask others
Juanito Camilleri: A Conditional Operator for CCS. CONCUR 1991: 142-156
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/CamilleriW91
- ask others
Juanito Camilleri, Glynn Winskel: CCS with Priority Choice. LICS 1991: 246-255

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ijpp/Camilleri89
- ask others
Juanito Camilleri: An operational semantics for occam. International Journal of Parallel Programming 18(5): 365-400 (1989)

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?