School of Computing

Further Development of a Distributed Transputer Based X Server

G.J. Makinson and M. Wojtulewicz

In Proceedings of the Seventh International Parallel Processing Symposium, pages 182-196, Los Angeles, California, USA, April 1993. IEEE Computer Society Press ISBN 0-963-6720-0-2.

Bibtex Record

@inproceedings{275,
author = {G.J. Makinson and M. Wojtulewicz},
title = {{Further Development of a Distributed Transputer Based X Server}},
month = {April},
year = {1993},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {ISBN 0-963-6720-0-2},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1993/275},
    address = {Los Angeles, California, USA},
    author_ids = {gojm},
    booktitle = {Proceedings of the Seventh International Parallel Processing Symposium},
    publisher = {IEEE Computer Society Press},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014