Omnisemantics: Smoother Handling of Nondeterminism

類似資料

• Integration verification across software and hardware for a simple embedded system
  著者:: Erbsen, Andres, 等
  出版事項: (2022)
• Computable decision making on the reals and other spaces via partiality and nondeterminism
  著者:: Sherman, Benjamin, 等
  出版事項: (2019)
• Nondeterminism in Logics of Programs
  著者:: Harel, David, 等
  出版事項: (2023)
• Unbounded nondeterminism in CSP
  著者:: Roscoe, A, 等
  出版事項: (1989)
• Unbounded nondeterminism in CSP
  著者:: Roscoe, A
  出版事項: (1988)