COPA 2024: BibTeX Entries

Volume

@proceedings{COPA2024,
  title     = {Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference},
  editor    = {Lindsay Quarrie},
  series    = {Kalpa Publications in Computing},
  volume    = {20},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  year      = {2024}}

Papers

@inproceedings{COPA2024:Challenges_Triumphs_CSP_Based,
  author    = {Andrew Roscoe and Pedro Antonino},
  title     = {The Challenges and Triumphs of CSP Based Formal Verification},
  booktitle = {Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference},
  editor    = {Lindsay Quarrie},
  series    = {Kalpa Publications in Computing},
  volume    = {20},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/SPpC},
  doi       = {10.29007/bbq9},
  pages     = {1-16},
  year      = {2024}}


@inproceedings{COPA2024:Modelling_Guardrail_AI_Control,
  author    = {Jeremy Martin},
  title     = {Modelling a Guardrail for an AI Control System Using CSP},
  booktitle = {Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference},
  editor    = {Lindsay Quarrie},
  series    = {Kalpa Publications in Computing},
  volume    = {20},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/TzJB},
  doi       = {10.29007/8fgg},
  pages     = {17-24},
  year      = {2024}}


@inproceedings{COPA2024:Could_Communicating_Sequential_Processes,
  author    = {Jeremy Martin},
  title     = {Could Communicating Sequential Processes be Used to Make Quantum Computing More Tractable?},
  booktitle = {Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference},
  editor    = {Lindsay Quarrie},
  series    = {Kalpa Publications in Computing},
  volume    = {20},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/ztS9},
  doi       = {10.29007/skg4},
  pages     = {25-34},
  year      = {2024}}


@inproceedings{COPA2024:Varied_timing_OCCAM_modeling,
  author    = {Lawrence Dickson},
  title     = {Varied timing, OCCAM modeling, and hardware-software equivalence in a worked IoT example},
  booktitle = {Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference},
  editor    = {Lindsay Quarrie},
  series    = {Kalpa Publications in Computing},
  volume    = {20},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/jKFb},
  doi       = {10.29007/g87c},
  pages     = {35-46},
  year      = {2024}}


@inproceedings{COPA2024:Adaptive_Multi_Layered_Non,
  author    = {Osei Wusu Brempong Jnr and Junaid Hussain Muzamal and Okechukwu Clement Agomuo and Zohaib Khan},
  title     = {Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity},
  booktitle = {Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference},
  editor    = {Lindsay Quarrie},
  series    = {Kalpa Publications in Computing},
  volume    = {20},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/VRd4},
  doi       = {10.29007/l5lc},
  pages     = {47-58},
  year      = {2024}}


@inproceedings{COPA2024:Building_Towards_Distributed_Dynamic,
  author    = {Mahmood Mohammed Seoud and David Gray Marchant},
  title     = {Building Towards a Distributed, Dynamic Solution to the Santa Problem},
  booktitle = {Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference},
  editor    = {Lindsay Quarrie},
  series    = {Kalpa Publications in Computing},
  volume    = {20},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/Gv4N},
  doi       = {10.29007/ngch},
  pages     = {59-73},
  year      = {2024}}


@inproceedings{COPA2024:Benchmarking_Python_Deep_Learning,
  author    = {Vijaya Laxmi Pachva},
  title     = {Benchmarking Python Deep Learning Frameworks for Language Modeling on GPUs},
  booktitle = {Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference},
  editor    = {Lindsay Quarrie},
  series    = {Kalpa Publications in Computing},
  volume    = {20},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/jkgx},
  doi       = {10.29007/ptjm},
  pages     = {74-80},
  year      = {2024}}