© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Animating CSP(M) Using Action Semantics
L Freitas, ALC Cavalcanti, and H Moura
In 4th Brazilian Workshop on Formal Methods, pages 182-196, 2001.Bibtex Record
@inproceedings{1485,
author = {L Freitas and ALC Cavalcanti and H Moura},
title = {{Animating CSP(M) Using Action Semantics}},
month = {unknown},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1485},
publication_type = {inproceedings},
submission_id = {28045_1028900977},
booktitle = {4th Brazilian Workshop on Formal Methods},
}