On conditions for the liveness of weakly persistent nets
From MaRDI portal
Publication:989543
DOI10.1016/j.ipl.2009.05.008zbMath1202.68265MaRDI QIDQ989543
Publication date: 20 August 2010
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2009.05.008
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Cites Work