Timed Petri nets and temporal linear logic
From MaRDI portal
Publication:6487374
DOI10.1007/3-540-63139-9_35zbMath1510.68071MaRDI QIDQ6487374
Publication date: 9 December 2022
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Quantales (06F07)
This page was built for publication: Timed Petri nets and temporal linear logic
