© 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},
}