256 search results - page 52 / 52 » All About Fuzzy Description Logics and Applications |
OOPSLA
2010
Springer
13 years 2 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...