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]
@article{AugustonF96, title = {Parforman - an Assertion Language for Specifying Behavior when Debugging Parallel Applications}, author = {Mikhail Auguston and Peter Fritzson}, year = {1996}, doi = {10.1142/S0218194096000259}, url = {http://dx.doi.org/10.1142/S0218194096000259}, tags = {debugging}, researchr = {https://researchr.org/publication/AugustonF96}, cites = {0}, citedby = {0}, journal = {International Journal of Software Engineering and Knowledge Engineering}, volume = {6}, number = {4}, pages = {609-640}, }