The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Brijesh Dongol: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Brijesh Dongol
    Derivation of Java Monitors. [Citation Graph (0, 0)][DBLP]
    ASWEC, 2006, pp:211-220 [Conf]
  2. Doug Goldson, Brijesh Dongol
    Concurrent Program Design in the Extended Theory of Owicki and Gries. [Citation Graph (0, 0)][DBLP]
    CATS, 2005, pp:41-50 [Conf]
  3. Brijesh Dongol
    Formalising Progress Properties of Non-blocking Programs. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:284-303 [Conf]
  4. Brijesh Dongol, Arjan J. Mooij
    Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:140-161 [Conf]
  5. Brijesh Dongol, Doug Goldson
    Extending the theory of Owicki and Gries with a logic of progress. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2006, v:2, n:1, pp:- [Journal]
  6. Robert Colvin, Brijesh Dongol
    Verifying Lock-Freedom Using Well-Founded Orders. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:124-138 [Conf]

  7. Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation. [Citation Graph (, )][DBLP]


  8. Compositional Action System Derivation Using Enforced Properties. [Citation Graph (, )][DBLP]


  9. Extending the theory of Owicki and Gries with a logic of progress [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002