School of Computing

Flexible, Transparent and Dynamic occam Networking with KRoC.net

Mario Schweigler, Fred Barnes, and Peter Welch

In Jan F Broenink and Gerald H Hilderink, editors, Communicating Process Architectures 2003, volume 61 of Concurrent Systems Engineering Series, pages 182-196, Amsterdam, The Netherlands, September 2003. IOS Press.

Abstract

KRoC.net is an extension to KRoC supporting the distribution of occam channels over networks, including the internet. Starting in 2001, the development of KRoC.net has gone through a number of stages, each one making the system more flexible, transparent and dynamic.

It now enables the occam programmer to set up and close network channels dynamically. Configuration has been simplified. All occam PROTOCOLs can now be sent over network channels, without need for conversion. Many of the new dynamic features in occam have been used to improve KRoC.net. Many of the concepts in KRoC.net are similar to those in the JCSP Network Edition (JCSP.net), KRoC.net's counterpart in the JCSP world.

This paper will give an overview over KRoC.net, its usage, its design and implementation, and its future. It will also provide some benchmarks and discuss how the new occam features are being used in the latest KRoC.net version.

Download publication 159 kbytes (PDF)

Bibtex Record

@inproceedings{1726,
author = {Mario Schweigler and Fred Barnes and Peter Welch},
title = {{Flexible, Transparent and Dynamic occam Networking with KRoC.net}},
month = {September},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1726},
    publication_type = {inproceedings},
    submission_id = {13494_1065085822},
    ISBN = {1-58603-381-6},
    booktitle = {Communicating Process Architectures 2003},
    editor = {Jan F Broenink and Gerald H Hilderink},
    volume = {61},
    series = {Concurrent Systems Engineering Series},
    address = {Amsterdam, The Netherlands},
    publisher = {IOS Press},
    ISSN = {1383-7575},
    refereed = {yes},
}

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

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

Last Updated: 21/03/2014