© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Communicating Process Architectures 2008
Peter H. Welch, Susan Stepney, Fiona A.C. Polack, Frederick R.M. Barnes, Alistair A. McEwan, Gardner S. Stiles, Jan F. Broenink, and Adam T. Sampson, editors
volume 66 of Concurrent Systems Engineering, Amsterdam, The Netherlands, September 2008. WoTUG, IOS Press.Bibtex Record
@proceedings{2806, author = {}, title = {Communicating Process Architectures 2008}, month = {September}, year = {2008}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2008/2806}, publication_type = {proceedings}, submission_id = {18043_1220632259}, editor = {Peter H. Welch and Susan Stepney and Fiona A.C. Polack and Frederick R.M. Barnes and Alistair A. McEwan and Gardner S. Stiles and Jan F. Broenink and Adam T. Sampson}, ISBN = {978-1-58603-907-3}, volume = {66}, series = {Concurrent Systems Engineering}, address = {Amsterdam, The Netherlands}, organization = {WoTUG}, publisher = {IOS Press}, ISSN = {1383-7575}, }