Susan Stepney

Search results

• 2010

  Specification of the stringmol chemical programming language version 0.1

  Hickinbotham, S., Clark, E., Stepney, S., Clarke, T., Nellis, A., Pay, M. & Young, P., 2010.

  Research output: Working paper

• The CoSMoS Process, Version 0.1: A Process for the Modelling and Simulation of Complex Systems

  Andrews, P. S., Polack, F. A. C., Sampson, A. T., Stepney, S. & Timmis, J., 1 Mar 2010.

  Research output: Working paper

• Visualising the dynamics of Random Boolean Networks: examples of network size, mutation, canalisation

  Stepney, S., 1 Feb 2010.

  Research output: Working paper
• 2002

  Derivation of Z Refinement Proof Rules: forwards and backwards rules incorporating input/output refinement

  Cooper, D., Stepney, S. & Woodcock, J., 1 Dec 2002.

  Research output: Working paper
• 2000

  An Electronic Purse: Specification, Refinement, and Proof

  Stepney, S., Cooper, D. & Woodcock, J., 1 Jul 2000, Oxford: Oxford University Computing Laboratory.

  Research output: Working paper