A Modal Characterization of Observational Congruence on Finite Terms of CCS

Susanne Graf Joseph Sifakis

Published in: Inf. Control. (1986)

Keyphrases

artificial intelligence
neural network
evolutionary algorithm
three dimensional
multiscale
learning environment
state space
finite number
inductive inference