Formal Specification of Virtual Process Topologies

Kamran Kazemi, Chris McDonald. Formal Specification of Virtual Process Topologies. In 1st International Workshop on Cluster Computing (IWCC 99), 2-3 December 1999, Melbourne, Australia. pages 169-176, IEEE Computer Society, 1999. [doi]

@inproceedings{KazemiM99,
  title = {Formal Specification of Virtual Process Topologies},
  author = {Kamran Kazemi and Chris McDonald},
  year = {1999},
  url = {http://csdl.computer.org/comp/proceedings/iwcc/1999/0343/00/03430169abs.htm},
  researchr = {https://researchr.org/publication/KazemiM99},
  cites = {0},
  citedby = {0},
  pages = {169-176},
  booktitle = {1st International Workshop on Cluster Computing (IWCC  99), 2-3 December 1999, Melbourne, Australia},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0343-8},
}