BibTeX records: Juanito Camilleri

• > Home > Persons > Juanito Camilleri

@article{DBLP:journals/iandc/CamilleriW95,
  author       = {Juanito Camilleri and
                  Glynn Winskel},
  title        = {{CCS} with Priority Choice},
  journal      = {Inf. Comput.},
  volume       = {116},
  number       = {1},
  pages        = {26--37},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1003},
  doi          = {10.1006/INCO.1995.1003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/CamilleriW95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/CamilleriZ94,
  author       = {Juanito Camilleri and
                  Vincent Zammit},
  editor       = {Thomas F. Melham and
                  Juanito Camilleri},
  title        = {Symbolic Animation as a Proof Tool},
  booktitle    = {Higher Order Logic Theorem Proving and Its Applications, 7th International
                  Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {859},
  pages        = {113--127},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58450-1\_38},
  doi          = {10.1007/3-540-58450-1\_38},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/CamilleriZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/tphol/1994,
  editor       = {Thomas F. Melham and
                  Juanito Camilleri},
  title        = {Higher Order Logic Theorem Proving and Its Applications, 7th International
                  Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {859},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58450-1},
  doi          = {10.1007/3-540-58450-1},
  isbn         = {3-540-58450-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/1994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/Camilleri91,
  author       = {Juanito Camilleri},
  editor       = {Jos C. M. Baeten and
                  Jan Friso Groote},
  title        = {A Conditional Operator for {CCS}},
  booktitle    = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
                  Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {527},
  pages        = {142--156},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54430-5\_86},
  doi          = {10.1007/3-540-54430-5\_86},
  timestamp    = {Fri, 27 Mar 2020 08:51:56 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/Camilleri91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/CamilleriW91,
  author       = {Juanito Camilleri and
                  Glynn Winskel},
  title        = {{CCS} with Priority Choice},
  booktitle    = {Proceedings of the Sixth Annual Symposium on Logic in Computer Science
                  {(LICS} '91), Amsterdam, The Netherlands, July 15-18, 1991},
  pages        = {246--255},
  publisher    = {{IEEE} Computer Society},
  year         = {1991},
  url          = {https://doi.org/10.1109/LICS.1991.151649},
  doi          = {10.1109/LICS.1991.151649},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/CamilleriW91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/Camilleri90,
  author       = {Juanito Camilleri},
  title        = {Priority in process calculi},
  school       = {University of Cambridge, {UK}},
  year         = {1990},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.385951},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Camilleri90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijpp/Camilleri89,
  author       = {Juanito Camilleri},
  title        = {An operational semantics for occam},
  journal      = {Int. J. Parallel Program.},
  volume       = {18},
  number       = {5},
  pages        = {365--400},
  year         = {1989},
  url          = {https://doi.org/10.1007/BF01379186},
  doi          = {10.1007/BF01379186},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijpp/Camilleri89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}