© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Communicating Process Architectures 2007
Peter H. Welch, Alistair A. McEwan, Steve Schneider, and Wilson Ifill, editors
volume 65 of Concurrent Systems Engineering, Amsterdam, The Netherlands, July 2007. WoTUG, IOS.Bibtex Record
@proceedings{2803,
author = {},
title = {Communicating Process Architectures 2007},
month = {July},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2803},
organization = {WoTUG},
publisher = {IOS},
publication_type = {proceedings},
submission_id = {15574_1220626944},
editor = {Peter H. Welch and Alistair A. McEwan and Steve Schneider and Wilson Ifill},
ISBN = {978-1586037673},
volume = {65},
series = {Concurrent Systems Engineering},
address = {Amsterdam, The Netherlands},
ISSN = {1383-7575},
}