Formal Specification Of Virtual Process Topologies

K. Kazemi; Chris Mcdonald

Formal Specification Of Virtual Process Topologies

Graduate Research School

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

Original language	English
Title of host publication	IEEE Computer Society International Workshop on Cluster Computing
Editors	R. Buyya, M. Baker, K. Hawick, H. James
Place of Publication	United States of America
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	169-176
Volume	1
Edition	Melbourne, Australia
ISBN (Print)	0769503438
Publication status	Published - 1999
Event	Formal Specification Of Virtual Process Topologies - Melbourne, Australia Duration: 1 Jan 1999 → …

Conference

Conference	Formal Specification Of Virtual Process Topologies
Period	1/01/99 → …

Cite this

@inproceedings{3ff0db9734a24f4681c82b0986b1fec5,

title = "Formal Specification Of Virtual Process Topologies",

author = "K. Kazemi and Chris Mcdonald",

year = "1999",

language = "English",

isbn = "0769503438",

volume = "1",

pages = "169--176",

editor = "R. Buyya and M. Baker and K. Hawick and H. James",

booktitle = "IEEE Computer Society International Workshop on Cluster Computing",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

address = "United States",

edition = "Melbourne, Australia",

note = "Formal Specification Of Virtual Process Topologies ; Conference date: 01-01-1999",

}

Kazemi, K & Mcdonald, C 1999, Formal Specification Of Virtual Process Topologies. in R Buyya, M Baker, K Hawick & H James (eds), IEEE Computer Society International Workshop on Cluster Computing. Melbourne, Australia edn, vol. 1, IEEE, Institute of Electrical and Electronics Engineers, United States of America, pp. 169-176, Formal Specification Of Virtual Process Topologies, 1/01/99.

Formal Specification Of Virtual Process Topologies. / Kazemi, K.; Mcdonald, Chris.
IEEE Computer Society International Workshop on Cluster Computing. ed. / R. Buyya; M. Baker; K. Hawick; H. James. Vol. 1 Melbourne, Australia. ed. United States of America: IEEE, Institute of Electrical and Electronics Engineers, 1999. p. 169-176.

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

TY - GEN

T1 - Formal Specification Of Virtual Process Topologies

AU - Kazemi, K.

AU - Mcdonald, Chris

PY - 1999

Y1 - 1999

M3 - Conference paper

SN - 0769503438

VL - 1

SP - 169

EP - 176

BT - IEEE Computer Society International Workshop on Cluster Computing

A2 - Buyya, R.

A2 - Baker, M.

A2 - Hawick, K.

A2 - James, H.

PB - IEEE, Institute of Electrical and Electronics Engineers

CY - United States of America

T2 - Formal Specification Of Virtual Process Topologies

Y2 - 1 January 1999

ER -