Deadlock-Free Incremental Replay of Message-Passing Programs

ISSN： 0743-7315

Source： Journal of Parallel and Distributed Computing, Vol.61, Iss.5, 2001-05, pp. : 667-678

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

Bounded phase analysis of message-passing programs

By Bouajjani Ahmed Emmi Michael

International Journal on Software Tools for Technology Transfer, Vol. 16, Iss. 2, 2014-04 ,pp. : 127-146

Springer Publishing Company

Access to resources Recommend Favorite

Distributed Breakpoint Detection in Message-Passing Programs

By Drummond L.M.A. Barbosa V.C.

Journal of Parallel and Distributed Computing, Vol. 39, Iss. 2, 1996-12 ,pp. : 153-167

Academic Press

Access to resources Recommend Favorite

Wait-free implementations in message-passing systems

By Chaudhuri S. Herlihy M. Tuttle M.R.

Theoretical Computer Science, Vol. 220, Iss. 1, 1999-06 ,pp. : 211-245

Elsevier

Access to resources Recommend Favorite

Message-passing environments for metacomputing

By Brune M.A. Fagg G.E. Resch M.M.

Future Generation Computer Systems, Vol. 15, Iss. 5, 1999-10 ,pp. : 699-712

Elsevier

Access to resources Recommend Favorite

A Generalized Deadlock-Free Process Calculus

By Sumii E. Kobayashi N.

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

Elsevier

Access to resources Recommend Favorite