© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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
@inproceedings{3016, 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 = {http://www.cs.kent.ac.uk/pubs/2009/3016}, 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}, }