Abstract
We study the decidability of the model checking problem for linear and branching time logics, and two models of concurrent computation, namely Petri nets and Basic Parallel Processes.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have