Model Checking a Logic for True Concurrency

DOI10.1145/3412853zbMath1502.68179OpenAlexW3095895296WikidataQ130828904 ScholiaQ130828904MaRDI QIDQ5034222

Paolo Baldan, Tommaso Padoan

Publication date: 24 February 2022

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3412853

zbMATH Keywords

tableauxPetri netsmodel checkingtrue concurrencytree automataevent structures

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Model Checking a Logic for True Concurrency