共 47 条
[1]
Agha G., 1985, Actors: A Model of Concurrent Computation in Distributed Systems
[2]
Akkaya I., 2015, P 2 INT WORKSH ROB S
[3]
Akkaya I., 2016, UCBEECS2016159
[4]
Regular Programming for Quantitative Properties of Data Streams
[J].
PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016),
2016, 9632
:15-40
[5]
[Anonymous], 2018, MELTDOWN
[6]
[Anonymous], P DES VER C SAN JOS
[7]
[Anonymous], 2018, SPECTRE ATTACKS EXPL
[8]
[Anonymous], 2005, RFC 4120
[9]
Bachrach J, 2012, DES AUT CON, P1212