Showing 1 - 3 results of 3 for search 'Brijesh Dongol', query time: 0.02s Refine Results
  1. 1
    Extending the theory of Owicki and Gries with a logic of progress

    Extending the theory of Owicki and Gries with a logic of progress by Brijesh Dongol, Doug Goldson

    Published 2006-03-01
    Get full text
    Article
  2. 2
    Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras

    Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras by Brijesh Dongol, Ian J. Hayes, Georg Struth

    Published 2021-02-01
    Get full text
    Article
  3. 3
    Modularising Verification Of Durable Opacity

    Modularising Verification Of Durable Opacity by Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim

    Published 2022-07-01
    Get full text
    Article

Search Tools: