Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 11.

Article

Stepney, S. and Braunstein, S.L. and Clark, J.A. and Tyrrell, A. and Adamatzky, A. and Smith, R.E. and Addis, T. and Johnson, Colin G. and Timmis, J. and Welch, P. and Milner, R. and Partridge, C. (2006) Journeys in Non-Classical Computation II: Initial Journeys and Waypoints. International Journal of Parallel, Emergent and Distributed Systems, 21 (2). pp. 97-125. ISSN 1744-5779. (The full text of this publication is not available from this repository)

Stepney, S. and Braunstein, S.L. and Clark, J.A. and Tyrrell, A. and Adamatzky, A. and Smith, R.E. and Addis, T. and Johnson, Colin G. and Timmis, J. and Welch, P. and Milner, R. and Partridge, D. (2005) Journeys in Non-Classical Computation I: A Grand Challenge for computing research. International Journal of Parallel, Emergent and Distributed Systems, 20 (1). pp. 5-19. ISSN 1744-5760. (Full text available)
[img]
Preview

Book section

Meira, SRL and Cavalcanti, A.L.C. (1992) MooZ Case Studies. In: Barden, R. and Stepney, S. and Cooper, D., eds. Object Orientation in Z, Workshops in Computing. Springer-Verlag, pp. 37-58. (The full text of this publication is not available from this repository)

Monograph

Cooper, D. and Stepney, S. and Woodcock, J.C.P. (2000) Derivation of Refinement Proof Rules for Z: forwards and backwards rules incorporating input/output refinement. Technical report. Oxford University (The full text of this publication is not available from this repository)

Stepney, S. and Cooper, C. and Woodcock, J.C.P. (2000) An Electronic Purse: Specification, Refinement and Proof. Technical report. Oxford University (Full text available)
[img]
Preview

Conference or workshop item

Brown, Neil (2008) Communicating Haskell Processes: Composable Explicit Concurrency Using Monads. In: Communicating Process Architectures 2008. (Full text available)
[img]
Preview

Brown, Neil and Smith, M.L. (2008) Representation and Implementation of CSP and VCR Traces. In: Communicating Process Architectures 2008, Sep 07-10, 2008, York, England. (Full text available)
[img]
Preview

Sampson, A.T. and Welch, P.H. and Warren, D.N. and Andrews, Paul S. and Bjørndalen, John Markus and Stepney, S. and Timmis, J. (2008) Investigating Patterns for the Process-Oriented Modelling and Simulation of Space in Complex Systems. In: Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. (Full text available)
[img]
Preview

Polack, F.A.C. and Stepney, S. and Turner, Heather and Welch, Peter H. and Barnes, Frederick R.M. (2005) An Architecture for Modelling Emergence in CA-Like Systems. In: Advances in Artificial Life, 8th European Conference on Artificial Life (ECAL 2005). (Full text available)
[img]
Preview

Stepney, S. and Smith, R.P. and Timmis, Jon and Tyrrell, A. (2004) Towards a Conceptual Framework for Artificial Immune Systems. In: Nicosia, G., ed. Artificial Immune Systems. LNCS, 3239 (3239). Springer pp. 53-64. ISBN 3540230971. (Full text available)
[img]
Preview

Stepney, S. and Clark, J.A. and Johnson, Colin G. and Partridge, D. and Smith, R.E. (2003) Artificial Immune Systems and the Grand Challenge for Non-Classical Computation. In: 2nd International Conference on Artificial Immune Sysyems, SEP 01-03, 2003, Edinburgh Scotland. (The full text of this publication is not available from this repository)

This list was generated on Fri Apr 25 02:33:46 2014 BST.