Advanced chopping of sequential and concurrent programs

ISSN： 0963-9314

Source： Software Quality Journal, Vol.19, Iss.2, 2011-06, pp. : 239-294

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

On transformations of concurrent-object programs

By Philippou A. Walker D.

Theoretical Computer Science, Vol. 195, Iss. 2, 1998-03 ,pp. : 259-289

Elsevier

Access to resources Recommend Favorite

Modeling and Verifying Concurrent Programs with Finite Chu Spaces

By Du Xu-Tao

Journal of Computer Science and Technology, Vol. 25, Iss. 6, 2010-11 ,pp. : 1168-1183

Springer Publishing Company

Access to resources Recommend Favorite

Granularity and the Development of Concurrent Programs - Extended Abstract

By Jones C.B.

Electronic Notes in Theoretical Computer Science, Vol. 1, Iss. 1, 2004-01 ,pp. : 1-5

Elsevier

Access to resources Recommend Favorite

Special issue on testing, analysis and debugging of concurrent programs

SOFTWARE TESTING, VERIFICATION & RELIABILITY (ELECTRONIC), Vol. 25, Iss. 3, 2015-05 ,pp. : 165-166

John Wiley & Sons Inc

Access to resources Recommend Favorite

A Per Model of Secure Information Flow in Sequential Programs

By Sabelfeld A.

LISP and Symbolic Computation, Vol. 14, Iss. 1, 2001-03 ,pp. : 59-91

Springer Publishing Company

Access to resources Recommend Favorite