Publisher: John Wiley & Sons Inc
E-ISSN: 1099-1689|25|3|218-271
ISSN: 0960-0833
Source: SOFTWARE TESTING, VERIFICATION & RELIABILITY (ELECTRONIC), Vol.25, Iss.3, 2015-05, pp. : 218-271
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
On transformations of concurrent-object programs
Theoretical Computer Science, Vol. 195, Iss. 2, 1998-03 ,pp. :
A Concurrent Object Calculus - Reduction and Typing
Electronic Notes in Theoretical Computer Science, Vol. 16, Iss. 3, 2004-01 ,pp. :