© 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}, }