© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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}, }