Fixing the Semantics of Some Concurrent Object-Oriented Concepts - Extended Abstract

By Jones C.B.  

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

Elsevier

Access to resources Recommend Favorite

A Methodology for Granularity-Based Control of Parallelism in Logic Programs

By Lopez P.   Hermenegildo M.   debray S.  

Journal of Symbolic Computation, Vol. 21, Iss. 4, 1996-04 ,pp. : 715-734

Academic Press

Access to resources Recommend Favorite

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

Advanced chopping of sequential and concurrent programs

By Giffhorn Dennis  

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

Springer Publishing Company

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