© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A Weakest Precondition Semantics for Circus
ALC Cavalcanti and JCP Woodcock
In Proceedings of the Communicating Processing Architectures 2002, pages 182-196. Concurrent Systems Engineering, IOS Press, 2002 To appear.Bibtex Record
@inproceedings{1475,
author = {ALC Cavalcanti and JCP Woodcock},
title = {{A Weakest Precondition Semantics for Circus}},
month = {unknown},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {To appear},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1475},
publication_type = {inproceedings},
submission_id = {4328_1028819449},
booktitle = {Proceedings of the Communicating Processing Architectures 2002},
organization = {Concurrent Systems Engineering},
publisher = {IOS Press},
}