© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Development of a verified Erlang program for resource locking
Thomas Arts, Clara Benac Earle, and John Derrick
Software Tools for Technology Transfer (STTT), pages 182-196, May 2003 To be published as a regular paper. Download publication 954 kbytes (PDF)Bibtex Record
@article{1712,
author = {Thomas Arts and Clara Benac Earle and John Derrick},
title = {Development of a Verified {E}rlang Program for Resource Locking},
month = {May},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {To be published as a regular paper},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2003/1712},
publication_type = {article},
submission_id = {18694_1063904984},
journal = {Software Tools for Technology Transfer (STTT)},
publisher = {Springer},
}