A comparison of refinement orderings and their associated simulation rules

類似資料

• On the Refinement and Simulation of Data Types and Processes
  著者:: Bolton, C, 等
  出版事項: (1999)
• Refinement in Object−Z and CSP
  著者:: Bolton, C, 等
  出版事項: (2002)
• Refinements of the Littlewood-Richardson rule
  著者:: J. Haglund, 等
  出版事項: (2009-01-01)
• Verification of microarchitectural refinements in rule-based systems
  著者:: Dave, Nirav H., 等
  出版事項: (2012)
• Extracting quadratic propagators by refined graphic rule
  著者:: Chongsi Xie, 等
  出版事項: (2025-02-01)