Separability of Reachability Sets of Vector Addition Systems
From MaRDI portal
Publication:4636622
DOI10.4230/LIPIcs.STACS.2017.24zbMath1402.68132arXiv1609.00214MaRDI QIDQ4636622
Wojciech Czerwiński, Charles Paperman, Lorenzo Clemente, Sławomir Lasota
Publication date: 19 April 2018
Full work available at URL: https://arxiv.org/abs/1609.00214
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items