A Temporal Calculus of Communicating Systems.

Faron Moller Chris M. N. Tofts

Published in: CONCUR (1990)

Keyphrases

spatio temporal
computer vision
management system
database
building blocks
distributed systems
knowledge based systems
intelligent systems
computer systems
temporal reasoning
temporal information
learning systems
peer to peer
expert systems
information systems
artificial intelligence
neural network