A Mechanised Axiomatic Model for Behaviour-Oriented Concurrency Software

@misc{mechanisation,
   title = {{A Mechanised Axiomatic Model for Behaviour-Oriented Concurrency}}, 
   author = {Castegren, Elias},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:24350cf7167ab1b9d00f8a2d64cc3fe32dfb4560;origin=https://github.com/fxpl/axiomatic_boc;visit=swh:1:snp:c48cc5ab1e4ba98c4d2b00e3952ff04556c4aa51;anchor=swh:1:rev:82781c3c964d0042c285cc53071e2d690d9a90bb}{\texttt{swh:1:dir:24350cf7167ab1b9d00f8a2d64cc3fe32dfb4560}} (visited on 2026-08-24)},
   url = {https://github.com/fxpl/axiomatic_boc},
   doi = {10.4230/artifacts.27655},
}