Travelled to:1 × Italy
1 × Singapore
Collaborated with:G.Schellhorn W.Reif J.Derrick B.Dongol O.Travkin H.Wehrheim
Talks about:lineariz (2) quiescent (1) multiset (1) composit (1) consist (1) verifi (1) method (1) relax (1) proof (1) defin (1)
Person: Bogdan Tofan
DBLP: Tofan:Bogdan
Contributed to:
2014
2014Wrote 2 papers:
- FM-2014-DerrickDSTTW #consistency #verification
- Quiescent Consistency: Defining and Verifying Relaxed Linearizability (JD, BD, GS, BT, OT, HW), pp. 200–214.
- IFM-2014-TofanSR #composition #multi #proving
- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset (BT, GS, WR), pp. 357–372.