An Exercise in Formalizing the Description of a Concurrent System.

David W. Bustard Mark T. Norris Rodney A. Orr Adam 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