共 50 条
- [21] Thread-Local Semantics and Its Efficient Sequential Abstractions for Race-Free Programs STATIC ANALYSIS (SAS 2017), 2017, 10422 : 253 - 276
- [23] A NOTE ON STATE MINIMIZATION OF ASYNCHRONOUS SEQUENTIAL FUNCTIONS IEEE TRANSACTIONS ON ELECTRONIC COMPUTERS, 1967, EC16 (01): : 94 - +
- [24] INTERNAL STATE ASSIGNMENTS FOR ASYNCHRONOUS SEQUENTIAL MACHINES IEEE TRANSACTIONS ON ELECTRONIC COMPUTERS, 1966, EC15 (04): : 551 - +
- [25] Reachability and State Recovery for Input/State Switched Asynchronous Sequential Machines 2015 EUROPEAN CONTROL CONFERENCE (ECC), 2015, : 1890 - 1895
- [26] EFFICIENT STATE REDUCTION METHODS FOR PLA-BASED SEQUENTIAL-CIRCUITS IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1992, 139 (06): : 491 - 500
- [29] On the Number of State Variables in Options Pricing MANAGEMENT SCIENCE, 2010, 56 (11) : 2058 - 2075
- [30] State of the art in the methodologies of design of asynchronous digital circuits INGENIERIA Y COMPETITIVIDAD, 2005, 7 (02): : 71 - 83