School of Computing

Relating and Visualising CSP, VCR and Structural Traces

Neil C. C. Brown and Marc L. Smith

In Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Frederick R.M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, and Brian Vinter, editors, Communicating Process Architectures 2009, volume 67 of Concurrent Systems Engineering, pages 182-196, Amsterdam, The Netherlands, November 2009. WoTUG, IOS Press. Download publication 343 kbytes (PDF)

Bibtex Record

author = {Neil C. C. Brown and Marc L. Smith},
title = {{Relating and Visualising CSP, VCR and Structural Traces}},
month = {November},
year = {2009},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {2249_1277403811},
    ISBN = {978-1-60750-065-0},
    booktitle = {Communicating Process Architectures 2009},
    editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Frederick R.M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter},
    volume = {67},
    series = {Concurrent Systems Engineering},
    address = {Amsterdam, The Netherlands},
    organization = {WoTUG},
    publisher = {IOS Press},
    ISSN = {1383-7575},

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

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

Last Updated: 21/03/2014