HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Suneel Sarswat

Publications
Efficient and Verified Continuous Double Auctions
Mohit Garg and Suneel Sarswat
In:LPAR 2024 Complementary Volume
Efficient and Verified Continuous Double Auctions
Mohit Garg and Suneel Sarswat
EasyChair Preprint 10337

Keyphrases

Continuous Double Auctions, financial markets, formal specification and verification, red-black trees.

Copyright © 2012-2025 easychair.org. All rights reserved.