Behavioural equivalences for timed systems.

Tomasz Brengos Marco Peressotti

Published in: Log. Methods Comput. Sci. (2019)

Keyphrases

expert systems
knowledge based systems
petri net
relational algebra
database
databases
relational databases
distributed systems
computing systems
neural network
learning algorithm
information retrieval systems
finite state machines