© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Communicating Process Architectures 2002
James Pascoe, Peter Welch, Roger Loader, and Vaidy Sunderam, editors
volume 60 of Concurrent Systems Engineering, IOS Press, Amsterdam, The Netherlands, September 2002. WoTUG, IOS Press.Bibtex Record
@proceedings{1584, author = {}, title = {Communicating Process Architectures 2002}, month = {September}, year = {2002}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2002/1584}, publication_type = {proceedings}, submission_id = {22098_1045499736}, editor = {James Pascoe and Peter Welch and Roger Loader and Vaidy Sunderam}, ISBN = {1 58603 268 2}, volume = {60}, series = {Concurrent Systems Engineering}, address = {IOS Press, Amsterdam, The Netherlands}, organization = {WoTUG}, publisher = {IOS Press}, ISSN = {1383-7575}, }