© University of Kent - Contact | Feedback | Legal | FOI | Cookies
CSP/occam on Shared Memory Multiprocessor Workstations
K. Vella and P.H. Welch
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{751,
author = {K. Vella and P.H. Welch},
title = {{CSP}/occam on {S}hared {M}emory {M}ultiprocessor {W}orkstations},
month = {April},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/751},
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},
}