Decidability of model checking for infinite-state concurrent systems
مقال من تأليف: Esparza, J. ;
ملخص: 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.
لغة:
إنجليزية