ARC: A Specification Language for Communicating Systems.

Declan P. Kelly

Published in: Comput. J. (1998)

Keyphrases

specification language
machine learning
artificial intelligence
information systems
programming language
distributed systems
formal specification
description language
real world
search algorithm
expert systems
relational databases
multiagent systems