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]

@article{Ribeiro-JustoHd99,
  title = {Formalising high-performance systems methodologies},
  author = {George R. Ribeiro-Justo and Paul Howells and Mark d Inverno},
  year = {1999},
  doi = {10.1016/S1383-7621(98)00017-4},
  url = {http://dx.doi.org/10.1016/S1383-7621(98)00017-4},
  researchr = {https://researchr.org/publication/Ribeiro-JustoHd99},
  cites = {0},
  citedby = {0},
  journal = {Journal of Systems Architecture},
  volume = {45},
  number = {6-7},
  pages = {441-464},
}