© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Journeys in non-classical computation II: Initial journeys and waypoints
S Stepney, SL Braunstein, JA Clark, A Tyrrell, A Adamatzky, RE Smith, T Addis, C Johnson, J Timmis, P Welch, R Milner, and D Partridge
International Journal of Parallel, Emergent and Distributed Systems, 21(2):182-196, April 2006.Bibtex Record
@article{2338, author = {S Stepney and SL Braunstein and JA Clark and A Tyrrell and A Adamatzky and RE Smith and T Addis and C Johnson and J Timmis and P Welch and R Milner and D Partridge}, title = {Journeys in Non-Classical Computation {II}: Initial Journeys and Waypoints}, month = {April}, year = {2006}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2006/2338}, publication_type = {article}, submission_id = {20222_1137671620}, ISSN = {1744-5779}, journal = {International Journal of Parallel, Emergent and Distributed Systems}, volume = {21}, number = {2}, publisher = {Taylor and Francis}, }