© University of Kent - Contact | Feedback | Legal | FOI | Cookies
An operational semantics for Handel-C
Andrew Butterfield and Jim Woodcock
Journal of Software Tools for Technology Transfer, pages 182-196, 2003 Invited paper. To be published.Bibtex Record
@article{1801, author = {Andrew Butterfield and Jim Woodcock}, title = {{An operational semantics for Handel-C}}, month = {unknown}, year = {2003}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {Invited paper. To be published}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2003/1801}, publication_type = {article}, submission_id = {22645_1076408681}, journal = {Journal of Software Tools for Technology Transfer}, }