© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Synchronisation Primitives for Highly Parallel Discrete Event Simulations
P.H. Welch, D.C. Wood, and J. Kerridge
In R.H.Sprague Jnr, editor, Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS-32), pages 182-196. IEEE, IEEE Computer Society Press, January 1999.Bibtex Record
@inproceedings{750,
author = {P.H. Welch and D.C. Wood and J. Kerridge},
title = {Synchronisation {P}rimitives for {H}ighly {P}arallel {D}iscrete {E}vent {S}imulations},
month = {January},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/750},
ISBN = {0-7695-0001-3},
booktitle = {Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS-32)},
editor = {R.H.Sprague Jnr},
organization = {IEEE},
publisher = {IEEE Computer Society Press},
refereed = {Yes},
}