© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Translating Erlang to mucrl
Thomas Arts, Clara Benac Earle, and Juan Jos Snchez Penas
In Proceedings of the International Conference on Application of Concurrency to System Design (ACSD2004), pages 182-196. IEEE Computer Society Press, June 2004 To appear. Download publication 150 kbytes (PostScript)Bibtex Record
@inproceedings{1912, author = {Thomas Arts and Clara Benac Earle and Juan Jos Snchez Penas}, title = {Translating {Erlang} to (unknown variable mu)(unknown variable CRL)}, month = {June}, year = {2004}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {To appear}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2004/1912}, publication_type = {inproceedings}, submission_id = {14520_1084126001}, booktitle = {Proceedings of the International Conference on Application of Concurrency to System Design (ACSD2004)}, publisher = {IEEE Computer Society Press}, refereed = {Yes}, }