James Street

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 1

Top Topics

Refinement Process

Probabilistic Relaxation

Qualitative And Quantitative

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang
Verifying a quantitative relaxation of linearizability via refinement. Int. J. Softw. Tools Technol. Transf. 18 (4) (2016)
Kiran Adhikari, James Street, Chao Wang, Yang Liu, Shao Jie Zhang
Verifying a Quantitative Relaxation of Linearizability via Refinement. SPIN (2013)