On the correctness of modular systems

By Navarro M.   Orejas F.   Sanchez A.  

Theoretical Computer Science, Vol. 140, Iss. 1, 1995-03 ,pp. : 139-177

Elsevier

Access to resources Recommend Favorite

On Correctness of Nonserializable Executions

By Rastogi R.   Mehrotra S.   Breitbart Y.   Korth H.F.   Silberschatz A.  

Journal of Computer and System Sciences, Vol. 56, Iss. 1, 1998-02 ,pp. : 68-82

Academic Press

Access to resources Recommend Favorite

Games for non-repudiation protocol correctness

By Adi K.   Pene L.   Sullivan L.  

International Journal of Wireless and Mobile Computing, Vol. 4, Iss. 4, 2010-10 ,pp. : 305-313

Inderscience Publishers

Access to resources Recommend Favorite

Formal Correctness of a Quadratic Unification Algorithm

By Ruiz-Reina José-Luis   Martín-Mateos Francisco-Jesús   Alonso José-Antonio   Hidalgo María-José  

Journal of Automated Reasoning, Vol. 37, Iss. 1-2, 2006-08 ,pp. : 67-92

Springer Publishing Company

Access to resources Recommend Favorite

A relation algebraic model of robust correctness

By Gritzner T.F.   Berghammer R.  

Theoretical Computer Science, Vol. 159, Iss. 2, 1996-06 ,pp. : 245-270

Elsevier

Access to resources Recommend Favorite