Sequential Value Passing Yields a Kleene Theorem for Processes.

Jos C. M. Baeten Bas Luttik

Published in: Logics and Type Systems in Theory and Practice (2024)

Keyphrases

real time
bayesian networks
regular expressions
propositional logic
sequential search
relational databases
image segmentation
database systems
multi agent systems
stochastic processes