To me the most interesting part is this: https://www.blech-lang.org/docs/user-manual/moc/ https://www.blech-lang.org/docs/user-manual/moc/ From what I understo

To me the most interesting part is this: https://www.blech-lang.org/docs/user-manual/moc/ https://www.blech-lang.org/docs/user-manual/moc/ From what I understood, Blech's solution for concurrent data access is this: 1. Writes are queued during 'reactions' and applied in-between 'reactions', last write wins. 2. Static analysis ensures, that there is only one writer for each global variable in so-called 'fork-join scope', I guess it's a scope of code that can be executed during one 'reaction'. This is conceptually somewhat similar to MVCC, but only one writer is allowed.