Trace Models of Concurrent Valuation Algebras.

Nasos Evangelou-Oost, Larissa Meinicke, Callum Bannister, Ian J. Hayes

Browse the full ICFEM paper archive.