scientific article
zbMath1255.68009MaRDI QIDQ3172801
Publication date: 6 October 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
model checkingNP-completeparallel programsacqusition structuresdynamic pushdown networks with monitorslock-sensitive analysis
Formal languages and automata (68Q45) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
This page was built for publication:
