Introduces the TRW partial order for sound deadlock prediction and a weakened variant for completeness, both efficiently computable and agreeing on benchmarks.
31 A Proofs Lemma 1
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
other 1
citation-polarity summary
verdicts
UNVERDICTED 2roles
other 1polarities
unclear 1representative citing papers
A classroom evaluation with 45 high school students finds that conversational agents can aid CSP learning by delivering context-appropriate information, comparing general and custom agent approaches for effectiveness and engagement.
citing papers explorer
-
Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
Introduces the TRW partial order for sound deadlock prediction and a weakened variant for completeness, both efficiently computable and agreeing on benchmarks.
-
Investigating Conversational Agents to Support Secondary School Students Learning CSP
A classroom evaluation with 45 high school students finds that conversational agents can aid CSP learning by delivering context-appropriate information, comparing general and custom agent approaches for effectiveness and engagement.