© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A parallel implementation of the ANSA REX protocol
A.L. Ibbetson, P.F. Linington, I.A. Penny, A.B. Smith, and G.E.W. Tripp
In B.M. Cook, M.R. Jane, P. Nixon, and P.H. Welch, editors, Transputer Applications and Systems '95 - Proceedings of World Transputer Congress 1995., volume 46 of Concurrent Systems Engineering Series, pages 182-196. IOS Press, October 1995.Bibtex Record
@inproceedings{491,
author = {A.L. Ibbetson and P.F. Linington and I.A. Penny and A.B. Smith and G.E.W. Tripp},
title = {A Parallel Implementation of the {ANSA} {REX} Protocol},
month = {October},
year = {1995},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1995/491},
ISBN = {90 5199 235 1},
booktitle = {Transputer Applications and Systems '95 - Proceedings of World Transputer Congress 1995.},
editor = {B.M. Cook and M.R. Jane and P. Nixon and P.H. Welch},
publisher = {IOS Press},
series = {Concurrent Systems Engineering Series},
volume = {46},
}