共 15 条
[6]
LINEARIZABILITY - A CORRECTNESS CONDITION FOR CONCURRENT OBJECTS
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1990, 12 (03)
:463-492
[7]
Katta Naga., 2015, Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, SOSR '15, p4:1
[8]
Kreutz D., 2013, Proceedings of ACM SIGCOMM workshop on Hot topics in software defined networking (HotSDN'13), P55, DOI 10.1145/2491185.2491199
[9]
THE BYZANTINE GENERALS PROBLEM
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1982, 4 (03)
:382-401