School of Computing

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

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 = {},
    publication_type = {article},
    submission_id = {18694_1063904984},
    journal = {Software Tools for Technology Transfer (STTT)},
    publisher = {Springer},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014