Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations.

Marian Hristov Annette Bieniusa

Published in: Erlang (2024)

Keyphrases

prior knowledge
data mining
search algorithm
statistical models
database
real time
machine learning
database systems
data structure
probabilistic model
language model