© 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}, }