The Algebraic Feedback Product of Automata. A State Machine Based Model of Concurrent Systems.

Victor Yodaiken

Published in: CAV (DIMACS/AMS volume) (1990)

Keyphrases

state machine
conceptual model
database
mathematical model
artificial intelligence
knowledge base
objective function
probability distribution
computational model