A Lean Reflective Abstract State Machine Definition.

Egon Börger Vincenzo Gervasi

Published in: ABZ (2024)

Keyphrases

state machine
state machines
fault tolerant
finite state machines
higher level
qualitative physics
databases
machine learning
learning algorithm
e learning
metadata
data model
petri net