DOI10.3233/FI-2015-1245zbMath1335.68161MaRDI QIDQ2803577
Rémi Morin, Florent Avellaneda
Publication date: 2 May 2016 Published in: Fundamenta Informaticae (Search for Journal in Brave)
zbMATH Keywords
structural propertiescounter-exampledynamic graphzero-cyclevector addition system with states
Mathematics Subject Classification ID
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)