Stem stp$ (all stems)

2 papers:

HPCA-2011-RanjanLMG #clustering #concurrent #multi #named #thread

Fg-STP: Fine-Grain Single Thread Partitioning on Multicores (RR, FL, PM, AG), pp. 15–24.

CADE-1982-ShostakSM #logic #named #specification #verification

STP: A Mechanized Logic for Specification and Verification (RES, RLS, PMMS), pp. 32–49.