Occam in the specification and verification of microprocessors

類似資料

• Denotational semantics for occam
  著者:: Roscoe, A
  出版事項: (1985)
• Laws of Occam Programming
  著者:: Roscoe, A, 等
  出版事項: (1986)
• Transformation of occam programs
  著者:: Goldsmith, M, 等
  出版事項: (1988)
• The Laws of Occam Programming
  著者:: Roscoe, A, 等
  出版事項: (1988)
• The laws of occam programming
  著者:: Roscoe, A, 等
  出版事項: (1988)