A Calculus for Communicating Systems with Time and Probabitilies.

Hans Hansson Bengt Jonsson

Published in: RTSS (1990)

Keyphrases

management system
distributed systems
systems require
databases
building blocks
communication channels
neural network
image processing
information technology
information retrieval systems
intelligent systems
computer systems
retrieval systems
formal methods