10 papers:
CASE-2015-Malik #composition #verification- Advanced selfloop removal in compositional nonblocking verification of discrete event systems (RM), pp. 819–824.
- CASE-2013-MohajeraniMF #automaton #composition #finite #using #verification
- Compositional nonblocking verification for extended finite-state automata using partial unfolding (SM, RM, MF), pp. 930–935.
- CASE-2012-ShoaeiFL #abstraction #automaton #finite
- Abstractions for nonblocking supervisory control of Extended Finite Automata (MRS, LF, BL), pp. 364–370.
- CASE-2010-OuedraogoKMA #approach #automaton #finite
- Symbolic approach to nonblocking and safe control of Extended Finite Automata (LO, RK, RM, KÅ), pp. 471–476.
PPoPP-2008-MaratheM #memory management #performance #towards #transaction- Toward high performance nonblocking software transactional memory (VJM, MM), pp. 227–236.
- PPoPP-2007-MaratheM #memory management #performance #transaction
- Efficient nonblocking software transactional memory (VJM, MM), pp. 136–137.
VMCAI-2007-Siegel #model checking #source code- Model Checking Nonblocking MPI Programs (SFS), pp. 44–58.
PODS-1992-TurekSP #algorithm #concurrent #data type- Locking without Blocking: Making Lock Based Concurrent Data Structure Algorithms Nonblocking (JT, DS, SP), pp. 212–222.
STOC-1990-AroraLM #algorithm #network #online- On-line Algorithms for Path Selection in a Nonblocking Network (Extended Abstract) (SA, FTL, BMM), pp. 149–158.
SIGMOD-1981-Skeen #commit #protocol- Nonblocking Commit Protocols (DS), pp. 133–142.
