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 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. Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.
by