Formalising high-performance systems methodologies

George R. Ribeiro-Justo, Paul Howells, Mark d Inverno. Formalising high-performance systems methodologies. Journal of Systems Architecture, 45(6-7):441-464, 1999. [doi]

Abstract

Abstract is missing.