Travelled to:1 × Canada
Collaborated with:∅ P.Inverardi M.Nesi
Talks about:processor (1) interact (1) theorem (1) process (1) algebra (1) design (1) combin (1) verif (1) prove (1) multi (1)
Person: Albert John Camilleri
DBLP: Camilleri:Albert_John
Contributed to:
1998
1991Wrote 2 papers:
- CAV-1998-Camilleri #design #multi #proving #theorem proving
- A Role for Theorem Proving in Multi-Processor Design (AJC), pp. 45–48.
- CCPSD-1991-CamilleriIN #algebra #automation #interactive #process #verification
- Combining Interaction and Automation in Process Algebra Verification (AJC, PI, MN), pp. 283–296.