© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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
@inproceedings{284, 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 = {http://www.cs.kent.ac.uk/pubs/1996/284}, 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}, }