TY  - RPRT
TI  - Trace models of concurrent valuation algebras
AU  - Naso Evangelou-Oost
AU  - Larissa Meinicke
AU  - Callum Bannister
AU  - Ian J. Hayes
PY  - 2023
DO  - 10.1007/978-981-99-7584-6_8
UR  - https://arxiv.org/abs/2305.18017
ID  - 2305.18017
ER  -