Decidability of model checking for infinite-state concurrent systems
Article Ecrit par: Esparza, J. ;
Résumé: 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.
Langue:
Anglais