© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Parallel Emulator for a Multi-processor Dataflow Machine
P.H. Welch and F. de Almeida
In A. De Gloria, M.R. Jane, and D. Marini, editors, Transputer Applications and Systems ''94, Proceedings of the 1994 World Transputer Congress, pages 182-196, Como, Italy, September 1994. IOS Press, Netherlands ISBN 90-5199-177-0.Bibtex Record
@inproceedings{280, author = {P.H. Welch and F. de Almeida}, title = {{A Parallel Emulator for a Multi-processor Dataflow Machine}}, month = {September}, year = {1994}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {ISBN 90-5199-177-0}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1994/280}, address = {Como, Italy}, author_ids = {phw}, booktitle = {Transputer Applications and Systems '94, Proceedings of the 1994 World Transputer Congress}, editor = {A. De Gloria and M.R. Jane and D. Marini}, publisher = {IOS Press, Netherlands}, }