Realizability of high-level message sequence charts: closing the gaps

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.309, Iss.1, 2003-12, pp. : 529-554

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

High-level abstractions for message-passing parallel programming

By Chan F. Cao J. Sun Y.

Parallel Computing, Vol. 29, Iss. 11, 2003-11 ,pp. : 1589-1621

Elsevier

Access to resources Recommend Favorite

Closing Service Quality Gaps Using Dynamic Service Level Agreements

International Journal of Information System Modeling and Design (IJISMD), Vol. 7, Iss. 2, 2016-04 ,pp. : 48-71

IGI Global_journal

Access to resources Recommend Favorite

Realizability of Conversation Protocols with Message Contents

International Journal of Web Services Research (IJWSR), Vol. 2, Iss. 4, 2005-10 ,pp. : 68-93

IGI Global_journal

Access to resources Recommend Favorite

Para++: A High Level C++ Interface for Message Passing

By Coulaud O. Dillon E.

Journal of Parallel and Distributed Computing, Vol. 51, Iss. 1, 1998-05 ,pp. : 46-62

Academic Press

Access to resources Recommend Favorite

Efficient high-level parallel programming

By Botorog G.H. Kuchen H.

Theoretical Computer Science, Vol. 196, Iss. 1, 1998-04 ,pp. : 71-107

Elsevier

Access to resources Recommend Favorite