School of Computing

Communicating Process Architectures 2009

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

volume 67 of Concurrent Systems Engineering, Amsterdam, The Netherlands, November 2009. WoTUG, IOS Press.

Bibtex Record

@proceedings{3014,
author = {},
title = {Communicating Process Architectures 2009},
month = {November},
year = {2009},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2009/3014},
    publication_type = {proceedings},
    submission_id = {19141_1277382915},
    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},
    ISBN = {978-1-60750-065-0},
    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