Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels. Perdita Stevens. Softw Syst Model 19, 935–958, 2020. 2020 shelley2024-07-26T09:03:55+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts History-deterministic Timed Automata. History-deterministic Timed Automata. Implementing Multiparty Session Types in Rust. Implementing Multiparty Session Types in Rust. Statically verified refinements for multiparty protocols. Statically verified refinements for multiparty protocols. Type checking beyond type checkers, via slice & run. Type checking beyond type checkers, via slice & run.