Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alexey Gotsman
Linearizability With Ownership Transfer
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Safety of Live Transactions in Transactional Memory: TMS Is Necessary and Sufficient
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
RFID Tag Ownership Transfer Protocol With Backtracking Authorization Ability
Information Technology Journal
Simplifying Linearizability Proofs With Reduction and Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Mobile RFID Mutual Authentication and Ownership Transfer
International Journal of Advancements in Computing Technology
Aspect-Oriented Linearizability Proofs
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Untraceable Analysis of Lightweight RFID Ownership Transfer Protocol
International Journal of Future Generation Communication and Networking
Computer Networks
Communications
TSO-to-TSO Linearizability Is Undecidable
Acta Informatica
Computer Networks
Software
Information Systems
Communications
RFID Tag Dynamic Ownership Transfer Protocol Based on Lagrange of Multi-Owner With Different Weights
International Journal of Security and its Applications
Computer Science
Secure Group Ownership Transfer Protocol for Tags in RFID System
International Journal of Security and its Applications
Computer Science
On Linearizability of Strict Feedforward Systems
