Muhammad Ikram Lali

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Scalable Distributed

Concept Hierarchy

Top Venues

Formal Aspects Comput.

Publications

Wim H. Hesselink, Muhammad Ikram Lali
Formalizing a hierarchical file system. Formal Aspects Comput. 24 (1) (2012)
Wim H. Hesselink, Muhammad Ikram Lali
Simple concurrent garbage collection almost without synchronization. Formal Methods Syst. Des. 36 (2) (2010)
Wim H. Hesselink, Muhammad Ikram Lali
Formalizing a Hierarchical File System. Electron. Notes Theor. Comput. Sci. 259 (2009)