TUNA: Theory Underpinning Nanotech Assemblers (Feasibility Study)

Search results

• 2006

  A Layered Behavioural Model of Platelets

  Schneider, S., Treharne, H., Cavalcanti, A. & Woodcock, J., 2006, p. 98-106.

  Research output: Contribution to conference › Paper › peer-review

• Automatic Translation from it ircus to Java

  Freitas, A. & Cavalcanti, A., 2006, p. 115-130.

  Research output: Contribution to conference › Paper › peer-review

• Communicating Complex Systems

  Welch, P. H., Barnes, F. R. M. & Polack, F., 2006, p. 107-120.

  Research output: Contribution to conference › Paper

• Engineering Emergence

  Stepney, S., Polack, F. & Turner, H. R., 2006, p. 89-97.

  Research output: Contribution to conference › Paper

• Journeys in non-classical computation II: initial journeys and waypoints

  Stepney, S., Braunstein, S. L., Clark, J. A., Tyrrell, A. M., Adamatzky, A., Smith, R. E., Addis, T. R., Johnson, C. G., Timmis, J., Welch, P. H., Milner, R. & Partridge, D., 2006, In: International Journal of Parallel, Emergent and Distributed Systems. 21, 2, p. 97-125 29 p.

  Research output: Contribution to journal › Article › peer-review

• 2005

  An architecture for modelling emergence in CA-like systems

  Polack, F., Stepney, S., Turner, H., Welch, P. & Barnes, F., 2005, ADVANCES IN ARTIFICAL LIFE, PROCEEDINGS. Capcarrere, M., Freitas, A., Bentley, P., Johnson, C. & Timmis, J. (eds.). BERLIN: Springer, p. 433-442 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• A simulation environment for emergent properties: extended abstract

  Turner, H. R., Stepney, S. & Polack, F. A. C., 2005.

  Research output: Contribution to conference › Paper

• Emergent Properties Do Not Refine

  Polack, F. & Stepney, S., 2005, In: Electronic Notes in Theoretical Computer Science. 137, 2, p. 163-181 19 p.

  Research output: Contribution to journal › Article › peer-review

• Formal development of industrial-scale systems in it ircus

  Oliveira, M., Cavalcanti, A. & Woodcock, J., 2005, In: Innovations in Systems and Software Engineering. 1, 2, p. 125-146 22 p.

  Research output: Contribution to journal › Article › peer-review

• Journeys in Non-Classical Computation I: A Grand Challange for Computing Research

  Stepney, S., Braunstein, S., Clark, J., Tyrrell, A., Adamatzky, A., Smith, R., Addis, T., Johnson, C., Timmis, J., Welch, P., Milner, R. & Partridge, D., 2005, In: International Journal of Parallel, Emergent and Distributed Systems. 20, 1, p. 5-19 15 p.

  Research output: Contribution to journal › Article › peer-review

• Rule Migration: Exploring a design framework for modelling emergence in CA-like systems

  Turner, H. & Stepney, S., 2005.

  Research output: Contribution to conference › Paper

• 2004

  Towards Mobile Processes in Unifying Theories

  Tang, X. & Woodcock, J., 2004, p. 44-53.

  Research output: Contribution to conference › Paper › peer-review

• Travelling processes

  Tang, X. & Woodcock, J., 2004, Mathematics of Program Construction, MPC 2004 Proceedings. Berlin / Heidelberg: Springer, p. 381-399 18 p. (Lecture Notes in Computer Science; vol. 3125).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Using Circus for Safety-critical Applications

  Woodcock, J., 2004, In: Electronic Notes in Theoretical Computer Science. 95, p. 3-22 20 p.

  Research output: Contribution to journal › Article › peer-review