Propositional Dynamic Logic for Petri Nets with Iteration
From MaRDI portal
Publication:3179415
DOI10.1007/978-3-319-46750-4_25zbMath1401.68219MaRDI QIDQ3179415
Mario R. F. Benevides, Edward Hermann Haeusler, Bruno D. Lopes
Publication date: 21 December 2016
Published in: Theoretical Aspects of Computing – ICTAC 2016 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-46750-4_25
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Uses Software