Concurrent-Flow Modeling
Kind: capability
Layer: Atomic Boundary
Record: lexicon:concurrent-flow-modeling
Canonical: Lexicon
The ability to model concurrent token flow explicitly so its behavior can be analyzed.
Listed in Lexicon terms, after Concurrency Correctness and before Deadlock Freedom.