I am currently working on proofs of linearisability with John Derrick, Gerhard Schellhorn, and Heike Wehrheim.

My list of publications.
In the past, I have:

E-mail: B.Dongol [[at]] sheffield [[dot]] ac [[dot]] uk

You can find me in:
Room 123
The Department of Computer Science
Regent Court
211 Portobello
Sheffield, S1 4DP
UNITED KINGDOM.