共 50 条
- [21] A Semantic Theory of the Internet of Things (Extended Abstract) COORDINATION MODELS AND LANGUAGES, 2016, 9686 : 157 - 174
- [23] Quantum Hoare Type Theory: Extended Abstract ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (340): : 291 - 302
- [24] Extended abstract theory of universal series and applications Monatshefte für Mathematik, 2009, 158 : 151 - 178
- [25] Unifying simulatability definitions in cryptographic systems under different timing assumptions - (extended abstract) CONCUR 2003 - CONCURRENCY THEORY, 2003, 2761 : 350 - 365
- [27] Partial rearrangements of space-shared FPGAs (extended abstract) PARALLEL AND DISTRIBUTED PROCESSING, 1998, 1388 : 913 - 918
- [28] Freely Combining Partial Knowledge in Multiple Dimensions (Extended Abstract) FUTURE DATA AND SECURITY ENGINEERING, FDSE 2018, 2018, 11251 : 3 - 11
- [29] An editor for refinement structure diagrams (Extended abstract) FORMAL METHODS PACIFIC '97, 1997, : 301 - 302
- [30] A Royal Road to Quantum Theory (or Thereabouts) Extended Abstract ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (236): : 245 - 254