© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Automatically Generating CSP Models for Communicating Haskell Processes
Neil C. C. Brown
Electronic Communications of the EASST, 23:182-196, November 2009. Download publication 168 kbytes (PDF)Bibtex Record
@article{3020, author = {Neil C. C. Brown}, title = {{Automatically Generating CSP Models for Communicating Haskell Processes}}, month = {November}, year = {2009}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2009/3020}, publication_type = {article}, submission_id = {11947_1277481202}, ISSN = {1863-2122}, journal = {Electronic Communications of the EASST}, volume = {23}, }