Sign in

An Exercise in Formalizing the Description of a Concurrent System.

David W. BustardMark T. NorrisRodney A. OrrAdam C. Winstanley
Published in: Softw. Pract. Exp. (1992)
Keyphrases
  • high level
  • database
  • databases
  • real time
  • machine learning
  • artificial intelligence
  • computer vision
  • information systems
  • multimedia
  • expert systems
  • information technology
  • action descriptions