A Modal Characterization of Observational Congruence on Finite Terms of CCS.

Susanne Graf Joseph Sifakis

Published in: ICALP (1984)

Keyphrases

multiscale
finite number
real time
neural network
real world
machine learning
information retrieval
genetic algorithm
artificial intelligence
social networks
three dimensional
co occurrence