Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Linearizability). Showing records 1 – 11 of 11 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Virginia Tech

1. Adhikari, Kiran. Verifying a Quantitative Relaxation of Linearizability via Refinement.

Degree: MS, Electrical and Computer Engineering, 2013, Virginia Tech

 Concurrent data structures have found increasingly widespread use in both multicore and distributed computing environments, thereby escalating the priority for verifying their correctness. The thread… (more)

Subjects/Keywords: Quasi Linearizability; Refinement; Model Checking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Adhikari, K. (2013). Verifying a Quantitative Relaxation of Linearizability via Refinement. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/23222

Chicago Manual of Style (16th Edition):

Adhikari, Kiran. “Verifying a Quantitative Relaxation of Linearizability via Refinement.” 2013. Masters Thesis, Virginia Tech. Accessed January 28, 2020. http://hdl.handle.net/10919/23222.

MLA Handbook (7th Edition):

Adhikari, Kiran. “Verifying a Quantitative Relaxation of Linearizability via Refinement.” 2013. Web. 28 Jan 2020.

Vancouver:

Adhikari K. Verifying a Quantitative Relaxation of Linearizability via Refinement. [Internet] [Masters thesis]. Virginia Tech; 2013. [cited 2020 Jan 28]. Available from: http://hdl.handle.net/10919/23222.

Council of Science Editors:

Adhikari K. Verifying a Quantitative Relaxation of Linearizability via Refinement. [Masters Thesis]. Virginia Tech; 2013. Available from: http://hdl.handle.net/10919/23222

2. Rady, Amgad Sadek. Characterizing Implementations that Preserve Properties of Concurrent Randomized Algorithms.

Degree: MSc -MS, Computer Science, 2018, York University

 We show that correctness criteria of concurrent algorithms are mathematically equivalent to the existence of so-called simulations between implementations of the algorithms in a well-known… (more)

Subjects/Keywords: Computer science; Computer science; Distributed computing; Verification; Randomized algorithms; Simulations; Linearizability; Strong linearizability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rady, A. S. (2018). Characterizing Implementations that Preserve Properties of Concurrent Randomized Algorithms. (Masters Thesis). York University. Retrieved from http://hdl.handle.net/10315/34539

Chicago Manual of Style (16th Edition):

Rady, Amgad Sadek. “Characterizing Implementations that Preserve Properties of Concurrent Randomized Algorithms.” 2018. Masters Thesis, York University. Accessed January 28, 2020. http://hdl.handle.net/10315/34539.

MLA Handbook (7th Edition):

Rady, Amgad Sadek. “Characterizing Implementations that Preserve Properties of Concurrent Randomized Algorithms.” 2018. Web. 28 Jan 2020.

Vancouver:

Rady AS. Characterizing Implementations that Preserve Properties of Concurrent Randomized Algorithms. [Internet] [Masters thesis]. York University; 2018. [cited 2020 Jan 28]. Available from: http://hdl.handle.net/10315/34539.

Council of Science Editors:

Rady AS. Characterizing Implementations that Preserve Properties of Concurrent Randomized Algorithms. [Masters Thesis]. York University; 2018. Available from: http://hdl.handle.net/10315/34539


Texas A&M University

3. Wang, Jiaqi. Time Bounds for Shared Objects in Partially Synchronous Systems.

Degree: 2012, Texas A&M University

 Shared objects are a key component in today's large distributed systems. Linearizability is a popular consistency condition for such shared objects which gives the illusion… (more)

Subjects/Keywords: Shared objects; linearizability; partially synchronous system; bounds on time complexity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wang, J. (2012). Time Bounds for Shared Objects in Partially Synchronous Systems. (Thesis). Texas A&M University. Retrieved from http://hdl.handle.net/1969.1/ETD-TAMU-2011-12-10214

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Wang, Jiaqi. “Time Bounds for Shared Objects in Partially Synchronous Systems.” 2012. Thesis, Texas A&M University. Accessed January 28, 2020. http://hdl.handle.net/1969.1/ETD-TAMU-2011-12-10214.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Wang, Jiaqi. “Time Bounds for Shared Objects in Partially Synchronous Systems.” 2012. Web. 28 Jan 2020.

Vancouver:

Wang J. Time Bounds for Shared Objects in Partially Synchronous Systems. [Internet] [Thesis]. Texas A&M University; 2012. [cited 2020 Jan 28]. Available from: http://hdl.handle.net/1969.1/ETD-TAMU-2011-12-10214.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Wang J. Time Bounds for Shared Objects in Partially Synchronous Systems. [Thesis]. Texas A&M University; 2012. Available from: http://hdl.handle.net/1969.1/ETD-TAMU-2011-12-10214

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of California – Riverside

4. Singh, Vineet. User Assisted Data Structure Debugging and Verication.

Degree: Computer Science, 2016, University of California – Riverside

 Data structures are one of the most important part of programming. Program faults lead tocorruption of runtime data structures of the program which lead to… (more)

Subjects/Keywords: Computer science; Data Structures; Debugging; Fault Location; Linearizability; Memory Graphs; Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Singh, V. (2016). User Assisted Data Structure Debugging and Verication. (Thesis). University of California – Riverside. Retrieved from http://www.escholarship.org/uc/item/0hr4g4wb

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Singh, Vineet. “User Assisted Data Structure Debugging and Verication.” 2016. Thesis, University of California – Riverside. Accessed January 28, 2020. http://www.escholarship.org/uc/item/0hr4g4wb.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Singh, Vineet. “User Assisted Data Structure Debugging and Verication.” 2016. Web. 28 Jan 2020.

Vancouver:

Singh V. User Assisted Data Structure Debugging and Verication. [Internet] [Thesis]. University of California – Riverside; 2016. [cited 2020 Jan 28]. Available from: http://www.escholarship.org/uc/item/0hr4g4wb.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Singh V. User Assisted Data Structure Debugging and Verication. [Thesis]. University of California – Riverside; 2016. Available from: http://www.escholarship.org/uc/item/0hr4g4wb

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Virginia Tech

5. Zhang, Lu. Runtime Verification and Debugging of Concurrent Software.

Degree: PhD, Electrical and Computer Engineering, 2016, Virginia Tech

 Our reliance on software has been growing fast over the past decades as the pervasive use of computer and software penetrated not only our daily… (more)

Subjects/Keywords: Concurrency; Verification; Debugging; Program Repair; Quasi Linearizability; Concurrent Data Structure; Web Application; JavaScript

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Zhang, L. (2016). Runtime Verification and Debugging of Concurrent Software. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/71882

Chicago Manual of Style (16th Edition):

Zhang, Lu. “Runtime Verification and Debugging of Concurrent Software.” 2016. Doctoral Dissertation, Virginia Tech. Accessed January 28, 2020. http://hdl.handle.net/10919/71882.

MLA Handbook (7th Edition):

Zhang, Lu. “Runtime Verification and Debugging of Concurrent Software.” 2016. Web. 28 Jan 2020.

Vancouver:

Zhang L. Runtime Verification and Debugging of Concurrent Software. [Internet] [Doctoral dissertation]. Virginia Tech; 2016. [cited 2020 Jan 28]. Available from: http://hdl.handle.net/10919/71882.

Council of Science Editors:

Zhang L. Runtime Verification and Debugging of Concurrent Software. [Doctoral Dissertation]. Virginia Tech; 2016. Available from: http://hdl.handle.net/10919/71882


Virginia Tech

6. Hassan, Ahmed Mohamed Elsayed. Designing, Modeling, and Optimizing Transactional Data Structures.

Degree: PhD, Electrical and Computer Engineering, 2015, Virginia Tech

 Transactional memory (TM) has emerged as a promising synchronization abstraction for multi-core architectures. Unlike traditional lock-based approaches, TM shifts the burden of implementing threads synchronization… (more)

Subjects/Keywords: Transactional Memory; STM; HTM; Transactional Boosting; Concurrent Data Structures; Optimistic Semantic Synchronization; Lazy List; Balanced Trees; Hybrid Transactions; Semantic Validation; Remote Transaction Commit; Modeling; Linearizability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hassan, A. M. E. (2015). Designing, Modeling, and Optimizing Transactional Data Structures. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/56656

Chicago Manual of Style (16th Edition):

Hassan, Ahmed Mohamed Elsayed. “Designing, Modeling, and Optimizing Transactional Data Structures.” 2015. Doctoral Dissertation, Virginia Tech. Accessed January 28, 2020. http://hdl.handle.net/10919/56656.

MLA Handbook (7th Edition):

Hassan, Ahmed Mohamed Elsayed. “Designing, Modeling, and Optimizing Transactional Data Structures.” 2015. Web. 28 Jan 2020.

Vancouver:

Hassan AME. Designing, Modeling, and Optimizing Transactional Data Structures. [Internet] [Doctoral dissertation]. Virginia Tech; 2015. [cited 2020 Jan 28]. Available from: http://hdl.handle.net/10919/56656.

Council of Science Editors:

Hassan AME. Designing, Modeling, and Optimizing Transactional Data Structures. [Doctoral Dissertation]. Virginia Tech; 2015. Available from: http://hdl.handle.net/10919/56656

7. ZHANG SHAOJIE. Enhancing State Space Reduction Methods for Model Checking.

Degree: 2013, National University of Singapore

Subjects/Keywords: Model Checking; Symmetry Reduction; Partial Order Reduction; Fairness; Linearizability; Symmetry Detection

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

SHAOJIE, Z. (2013). Enhancing State Space Reduction Methods for Model Checking. (Thesis). National University of Singapore. Retrieved from http://scholarbank.nus.edu.sg/handle/10635/38797

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

SHAOJIE, ZHANG. “Enhancing State Space Reduction Methods for Model Checking.” 2013. Thesis, National University of Singapore. Accessed January 28, 2020. http://scholarbank.nus.edu.sg/handle/10635/38797.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

SHAOJIE, ZHANG. “Enhancing State Space Reduction Methods for Model Checking.” 2013. Web. 28 Jan 2020.

Vancouver:

SHAOJIE Z. Enhancing State Space Reduction Methods for Model Checking. [Internet] [Thesis]. National University of Singapore; 2013. [cited 2020 Jan 28]. Available from: http://scholarbank.nus.edu.sg/handle/10635/38797.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

SHAOJIE Z. Enhancing State Space Reduction Methods for Model Checking. [Thesis]. National University of Singapore; 2013. Available from: http://scholarbank.nus.edu.sg/handle/10635/38797

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Oulu

8. Vuolevi, J. (Joel). Analysis, measurement and cancellation of the bandwidth and amplitude dependence of intermodulation distortion in RF power amplifiers.

Degree: 2001, University of Oulu

 Abstract The main emphasis in modern RF power amplifier (PA) research is on improving linearity while at the same time maintaining reasonably good efficiency, for… (more)

Subjects/Keywords: RF power amplifiers; Volterra model; envelope injection; linearizability; memory effects; predistortion; thermal power feedback

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Vuolevi, J. (. (2001). Analysis, measurement and cancellation of the bandwidth and amplitude dependence of intermodulation distortion in RF power amplifiers. (Doctoral Dissertation). University of Oulu. Retrieved from http://urn.fi/urn:isbn:9514265149

Chicago Manual of Style (16th Edition):

Vuolevi, J (Joel). “Analysis, measurement and cancellation of the bandwidth and amplitude dependence of intermodulation distortion in RF power amplifiers.” 2001. Doctoral Dissertation, University of Oulu. Accessed January 28, 2020. http://urn.fi/urn:isbn:9514265149.

MLA Handbook (7th Edition):

Vuolevi, J (Joel). “Analysis, measurement and cancellation of the bandwidth and amplitude dependence of intermodulation distortion in RF power amplifiers.” 2001. Web. 28 Jan 2020.

Vancouver:

Vuolevi J(. Analysis, measurement and cancellation of the bandwidth and amplitude dependence of intermodulation distortion in RF power amplifiers. [Internet] [Doctoral dissertation]. University of Oulu; 2001. [cited 2020 Jan 28]. Available from: http://urn.fi/urn:isbn:9514265149.

Council of Science Editors:

Vuolevi J(. Analysis, measurement and cancellation of the bandwidth and amplitude dependence of intermodulation distortion in RF power amplifiers. [Doctoral Dissertation]. University of Oulu; 2001. Available from: http://urn.fi/urn:isbn:9514265149

9. Ferčec, Brigita. Integrabilnost in lokalne bifurkacije v polinomskih sistemih navadnih diferencialnih enačb.

Degree: 2013, Univerza v Mariboru

V tej doktorski disertaciji obravnavamo naslednje probleme kvalitativne teorije navadnih diferencialnih enačb (NDE): problem centra in fokusa, problem cikličnosti, problem izohronosti in problem bifurkacij kritičnih… (more)

Subjects/Keywords: sistem NDE; integrabilnost; problem centra; časovna reverzibilnost; Darbouxov integral; linearizabilnost; raznoterost centra; fokusna količina; limitni cikel; problem cikličnosti; bifurkacije kritičnih period; funkcija periode; problem izohronosti; system of ODE's; integrability; center problem; time-reversibility; Darboux integral; linearizability; center variety; focus quantity; limit cycle; cyclicity problem; bifurcations of critical periods; period function; isochronicity problem; info:eu-repo/classification/udc/517.91/.93(043.3)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ferčec, B. (2013). Integrabilnost in lokalne bifurkacije v polinomskih sistemih navadnih diferencialnih enačb. (Doctoral Dissertation). Univerza v Mariboru. Retrieved from https://dk.um.si/IzpisGradiva.php?id=40939 ; https://dk.um.si/Dokument.php?id=56277&dn= ; https://plus.si.cobiss.net/opac7/bib/19968520?lang=sl

Chicago Manual of Style (16th Edition):

Ferčec, Brigita. “Integrabilnost in lokalne bifurkacije v polinomskih sistemih navadnih diferencialnih enačb.” 2013. Doctoral Dissertation, Univerza v Mariboru. Accessed January 28, 2020. https://dk.um.si/IzpisGradiva.php?id=40939 ; https://dk.um.si/Dokument.php?id=56277&dn= ; https://plus.si.cobiss.net/opac7/bib/19968520?lang=sl.

MLA Handbook (7th Edition):

Ferčec, Brigita. “Integrabilnost in lokalne bifurkacije v polinomskih sistemih navadnih diferencialnih enačb.” 2013. Web. 28 Jan 2020.

Vancouver:

Ferčec B. Integrabilnost in lokalne bifurkacije v polinomskih sistemih navadnih diferencialnih enačb. [Internet] [Doctoral dissertation]. Univerza v Mariboru; 2013. [cited 2020 Jan 28]. Available from: https://dk.um.si/IzpisGradiva.php?id=40939 ; https://dk.um.si/Dokument.php?id=56277&dn= ; https://plus.si.cobiss.net/opac7/bib/19968520?lang=sl.

Council of Science Editors:

Ferčec B. Integrabilnost in lokalne bifurkacije v polinomskih sistemih navadnih diferencialnih enačb. [Doctoral Dissertation]. Univerza v Mariboru; 2013. Available from: https://dk.um.si/IzpisGradiva.php?id=40939 ; https://dk.um.si/Dokument.php?id=56277&dn= ; https://plus.si.cobiss.net/opac7/bib/19968520?lang=sl

10. Dukarić, Maša. Qualitative Studies of Some Polynomial Systems of Ordinary Differential Equations.

Degree: 2016, Univerza v Mariboru

This doctoral dissertation is devoted to the studies of some qualitative properties of certain polynomial systems of ordinary differential equations. The main problems that are… (more)

Subjects/Keywords: planar systems of ODE's; higher dimensional systems of ODE's; phase portrait; nilpotent center; limit cylces; Poincaré compactification; center problem; Bautin ideal; focus quantities; time-reversibility; integrability problem; Darboux method; linearizability; limit cycle; cyclicity; ravninski sistem NDE; višje dimenzionalni sistemi NDE; fazni portreti; nilpotentni center; limitni cikli; Poincaréjeva kompaktifikacija; problem centra; Bautinov ideal; fokusne količine; problem integrabilnosti; Darbouxjeva metoda; linearizabilnost; limitni cikel; cikličnost; info:eu-repo/classification/udc/517.9(043.3)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dukarić, M. (2016). Qualitative Studies of Some Polynomial Systems of Ordinary Differential Equations. (Doctoral Dissertation). Univerza v Mariboru. Retrieved from https://dk.um.si/IzpisGradiva.php?id=57381 ; https://dk.um.si/Dokument.php?id=95035&dn= ; https://plus.si.cobiss.net/opac7/bib/22346760?lang=sl

Chicago Manual of Style (16th Edition):

Dukarić, Maša. “Qualitative Studies of Some Polynomial Systems of Ordinary Differential Equations.” 2016. Doctoral Dissertation, Univerza v Mariboru. Accessed January 28, 2020. https://dk.um.si/IzpisGradiva.php?id=57381 ; https://dk.um.si/Dokument.php?id=95035&dn= ; https://plus.si.cobiss.net/opac7/bib/22346760?lang=sl.

MLA Handbook (7th Edition):

Dukarić, Maša. “Qualitative Studies of Some Polynomial Systems of Ordinary Differential Equations.” 2016. Web. 28 Jan 2020.

Vancouver:

Dukarić M. Qualitative Studies of Some Polynomial Systems of Ordinary Differential Equations. [Internet] [Doctoral dissertation]. Univerza v Mariboru; 2016. [cited 2020 Jan 28]. Available from: https://dk.um.si/IzpisGradiva.php?id=57381 ; https://dk.um.si/Dokument.php?id=95035&dn= ; https://plus.si.cobiss.net/opac7/bib/22346760?lang=sl.

Council of Science Editors:

Dukarić M. Qualitative Studies of Some Polynomial Systems of Ordinary Differential Equations. [Doctoral Dissertation]. Univerza v Mariboru; 2016. Available from: https://dk.um.si/IzpisGradiva.php?id=57381 ; https://dk.um.si/Dokument.php?id=95035&dn= ; https://plus.si.cobiss.net/opac7/bib/22346760?lang=sl

11. Shafiei, Niloufar. Non-Blocking Data Structures Handling Multiple Changes Atomically.

Degree: PhD, Computer Science, 2015, York University

 Here, we propose a new approach to design non-blocking algorithms that can apply multiple changes to a shared data structure atomically using Compare&Swap (CAS) instructions.… (more)

Subjects/Keywords: Computer science; Engineering; computer science; shared memory; data structure; shared data structure; concurrent data structure; concurrency; list; linked list; doubly-linked list; Patricia trie; tree; binary tree; non-blocking; wait-free; lock-free; distributed computing; distributed system; complexity; analysis; amortized analysis; cursor; descriptor; info object; descriptor object; non-blocking data structure; empirical evaluation; experiments; correctness proof; proof; potential function; general approach; multiple changes; linearizable; linearizability; correctness condition; performance; abstract data structure; trie; novel sequential specification; sequential specification; black box; modular approach; modular; sequence; sequence of items; replace operation; point contention; quadtree; GIS; Geographic Information System; general technique; help; helping mechanism; robust; robust cursor; sorted; sorted list; ordered list; active cursor; multi-core system; multi-core; multicore machine; uniformly distributed keys; non-uniformly distributed keys; move; move operation; update operation; move cursor; algorithm; distributed algorithm; implementation; non-blocking implementation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Shafiei, N. (2015). Non-Blocking Data Structures Handling Multiple Changes Atomically. (Doctoral Dissertation). York University. Retrieved from http://hdl.handle.net/10315/30672

Chicago Manual of Style (16th Edition):

Shafiei, Niloufar. “Non-Blocking Data Structures Handling Multiple Changes Atomically.” 2015. Doctoral Dissertation, York University. Accessed January 28, 2020. http://hdl.handle.net/10315/30672.

MLA Handbook (7th Edition):

Shafiei, Niloufar. “Non-Blocking Data Structures Handling Multiple Changes Atomically.” 2015. Web. 28 Jan 2020.

Vancouver:

Shafiei N. Non-Blocking Data Structures Handling Multiple Changes Atomically. [Internet] [Doctoral dissertation]. York University; 2015. [cited 2020 Jan 28]. Available from: http://hdl.handle.net/10315/30672.

Council of Science Editors:

Shafiei N. Non-Blocking Data Structures Handling Multiple Changes Atomically. [Doctoral Dissertation]. York University; 2015. Available from: http://hdl.handle.net/10315/30672

.