School of Computing

CCSP - a Portable CSP-based Run-time System Supporting C and occam

J. Moores

In B.M.Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering series, pages 182-196, Amsterdam, the Netherlands, April 1999. WoTUG, IOS Press.

Bibtex Record

@inproceedings{753,
author = {J. Moores},
title = {{CCSP} -- a {P}ortable {CSP}-based {R}un-time {S}ystem {S}upporting {C} and occam},
month = {April},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/753},
    ISBN = {90 5199 480 X},
    address = {Amsterdam, the Netherlands},
    booktitle = {Architectures, Languages and Techniques for Concurrent Systems},
    editor = {B.M.Cook},
    organization = {WoTUG},
    publisher = {IOS Press},
    refereed = {Yes},
    series = {Concurrent Systems Engineering series},
    volume = {57},
}

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

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

Last Updated: 21/03/2014