Protocol combinators for modeling, testing, and execution of distributed systems. Kristoffer Just Arndal Andersen and Ilya Sergey. Journal of Functional Programming, 31, E3, 2021. 2021 shelley2024-07-26T09:03:55+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Efficient Inference of Sources and Targets in a Graph with Limited Observations. Efficient Inference of Sources and Targets in a Graph with Limited Observations. Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata. Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata. History-deterministic Timed Automata. History-deterministic Timed Automata. Annual Report 2020/2021 Annual Report 2020/2021
by