Skip to content

Exploring Design Alternatives for Replicated RAMP Transactions Using Maude.

Lei Liang, Si Liu

Year2021
ProceedingsTASE

Browse the full TASE paper archive.