共 50 条
- [1] Sequential Verification of Serializability [J]. POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 31 - 42
- [3] SEQUENTIAL CRITERIA FOR REGULAR VARIATION [J]. QUARTERLY JOURNAL OF MATHEMATICS, 1971, 22 (88): : 565 - &
- [5] GENERALIZED SEQUENTIAL MACHINE MAPPINGS OF REGULAR SET TO REGULAR SET [J]. ELECTRONICS & COMMUNICATIONS IN JAPAN, 1965, 48 (07): : 15 - &
- [7] REGULAR EXPRESSIONS FOR LINEAR SEQUENTIAL CIRCUITS [J]. IEEE TRANSACTIONS ON ELECTRONIC COMPUTERS, 1965, EC14 (02): : 148 - +
- [9] REGULAR EXPRESSIONS FROM SEQUENTIAL CIRCUITS [J]. IEEE TRANSACTIONS ON ELECTRONIC COMPUTERS, 1964, EC13 (06): : 741 - +