Order:
  1.  11
    Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-State Systems, Cambridge Tracts in Theoretical Computer Science, Vol. 58, Cambridge University Press, Cambridge, 2016, Viii + 744 Pp. [REVIEW]Kamal Lodaya - 2017 - Bulletin of Symbolic Logic 23 (2):203-204.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  32
    Fine-Grained Concurrency with Separation Logic.Kalpesh Kapoor, Kamal Lodaya & Uday S. Reddy - 2011 - Journal of Philosophical Logic 40 (5):583-632.
    Reasoning about concurrent programs involves representing the information that concurrent processes manipulate disjoint portions of memory. In sophisticated applications, the division of memory between processes is not static. Through operations, processes can exchange the implied ownership of memory cells. In addition, processes can also share ownership of cells in a controlled fashion as long as they perform operations that do not interfere, e.g., they can concurrently read shared cells. Thus the traditional paradigm of distributed computing based on locations is replaced (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3. Logic and Its Applications.Kamal Lodaya (ed.) - 2013 - Springer.