Publisher: IGI Global_journal
E-ISSN: 1937-9404|6|2|1-12
ISSN: 1937-9412
Source: International Journal of Mobile Computing and Multimedia Communications (IJMCMC), Vol.6, Iss.2, 2014-04, pp. : 1-12
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
Partial order semantics for use case and task models
Formal Aspects of Computing, Vol. 23, Iss. 3, 2011-05 ,pp. :
Order-incompleteness and finite lambda reduction models
By Selinger P.
Theoretical Computer Science, Vol. 309, Iss. 1, 2003-12 ,pp. :