Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications

Mikhail Auguston, Peter Fritzson. Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications. International Journal of Software Engineering and Knowledge Engineering, 6(4):609-640, 1996. [doi]

Abstract

Abstract is missing.