iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/erlang/HristovB24.xml
Marian Hristov Annette Bieniusa Erla⁺: Translating TLA⁺ Models into Executable Actor-Based Implementations. 13-23 2024 Erlang https://doi.org/10.1145/3677995.3678190 conf/erlang/2024 db/conf/erlang/erlang2024.html#HristovB24