Contract Automata Library.

Davide Basile Maurice H. ter Beek

Published in: Sci. Comput. Program. (2022)

Keyphrases

cellular automata
finite state
regular expressions
real time
supply chain
finite state machines
probabilistic automata
database
databases
machine learning
information systems
tree automata