Prasita Mukherjee

Latest

• Semantics, Specification and Bounded Verification of Concurrent Libraries in Replicated Systems