Metric semantics for true concurrent real time.

Joost-Pieter Katoen Christel Baier Diego Latella

Published in: Theor. Comput. Sci. (2001)

Keyphrases

real time
vision system
low cost
high speed
moving target
neural network
information systems
web services
metric space
evaluation metrics
similarity metric
conceptual graphs
low latency
concurrent programs