The following pages link to Jason Stanley (Q2393139):
Displayed 6 items.
- Concurrency bugs in multithreaded software: modeling and analysis using Petri nets (Q2393141) (← links)
- SAT-Based Control of Concurrent Software for Deadlock Avoidance (Q2982472) (← links)
- (Q4266047) (← links)
- Context, interest relativity and the sorites (Q4469731) (← links)
- Understanding, context-relativity, and the Description Theory (Q4497515) (← links)
- Quantifiers and Context-Dependence (Q4497586) (← links)