© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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},
}