School of Computing

Emulating a Secure Multicasting Bus Using occam2.1

P.H. Welch and D.J. Beckett

In Brian O''Neill, editor, Parallel Processing Developments - Proceedings of WoTUG 19, pages 182-196, Nottingham-Trent University, UK, March 1996. World occam and Transputer User Group, IOS Press, Netherlands ISBN 90-5199-261-0.

Bibtex Record

author = {P.H. Welch and D.J. Beckett},
title = {{Emulating a Secure Multicasting Bus Using occam2.1}},
month = {March},
year = {1996},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {ISBN 90-5199-261-0},
doi = {},
url = {},
    abstract = {A high-speed bus, the Octobus, has been designed to be used with Transputer hardware for very-high bandwidth  low-latency sharing of large datasets (e.g. video).  It  provides one-to-one, one-to-many},
    address = {Nottingham-Trent University, UK},
    author_ids = {phw djb1},
    booktitle = {Parallel Processing Developments -- Proceedings of WoTUG 19},
    editor = {Brian O'Neill},
    organization = {World occam and Transputer User Group},
    publisher = {IOS Press, Netherlands},

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

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

Last Updated: 21/03/2014