Up a level |
Number of items: 1.
Bose, S, Purser, D ORCID: 0000-0003-0394-1634 and Totzke, P ORCID: 0000-0001-5274-8190
(2023)
History-Deterministic Vector Addition Systems.
In: 34th International Conference on Concurrency Theory (CONCUR 2023)., 2023-9-19 - 2023-9-22, University of Antwerp, Belgium.