External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Checking the Serial Correctness of Control-Parallel Programs

Gilbert Caplain, René Lalement, Thierry Salset. Checking the Serial Correctness of Control-Parallel Programs. In Constantine Halatsis, Dimitris G. Maritsas, George Philokyprou, Sergios Theodoridis, editors, PARLE 94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings. Volume 817 of Lecture Notes in Computer Science, pages 741-744, Springer, 1994.

Authors

Gilbert Caplain

This author has not been identified. Look up 'Gilbert Caplain' in Google

René Lalement

This author has not been identified. Look up 'René Lalement' in Google

Thierry Salset

This author has not been identified. Look up 'Thierry Salset' in Google
runs on