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: 21.

Article

Stepney, Susan and Braunstein, Samuel L. and Clark, John A. and Tyrrell, Andy M. and Adamatzky, Andrew and Smith, Robert E. and Addis, Tom and Johnson, Colin G. and Timmis, Jon and Welch, Peter H. and Milner, Robin and Partridge, Derek (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, Susan and Braunstein, Samuel L. and Clark, John A. and Tyrrell, Andy M. and Adamatzky, Andrew and Smith, Robert E. and Addis, Tom and Johnson, Colin G. and Timmis, Jon and Welch, Peter H. and Milner, Robin and Partridge, Derek (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, Ana L. C. (1992) MooZ Case Studies. In: Barden, Rosalind and Stepney, Susan and Cooper, David, 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, David and Stepney, Susan and Woodcock, Jim (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, Susan and Cooper, David and Woodcock, Jim (2000) An Electronic Purse: Specification, Refinement and Proof. Technical report. Oxford University (Full text available)
[img]
Preview

Conference or workshop item

Polack, Fiona A.C. and Andrews, Paul S. and Ghetiu, Teodor and Read, Mark and Stepney, Susan and Timmis, Jon and Sampson, Adam T. (2010) Reflections on the Simulation of Complex Systems for Science. In: ICECCS 2010: Fifteenth IEEE International Conference on Engineering of Complex Computer Systems. (Full text available)
[img]
Preview

Welch, Peter H. and Barnes, Frederick R.M. (2008) A CSP Model for Mobile Channels. In: Communicating Process Architectures 2008, SEP 07-10, 2008, York, England. (Full text available)
[img]
Preview

Welch, Peter H. (2008) Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008. In: UNSPECIFIED. (Full text available)
[img]
Preview

Bjørndalen, John Markus and Sampson, Adam T. (2008) Process-Oriented Collective Operations. In: Communicating Process Architectures 2008. (Full text available)
[img]
Preview

Welch, Peter H. and Pedersen, Jan B. (2008) Santa Claus - with Mobile Reindeer and Elves. In: Communicating Process Architectures 2008, Sept 07-10, 2008, York, England. (The full text of this publication is not available from this repository)

Andrews, Paul S. and Polack, Fiona and Sampson, Adam T. and Scott, Lisa and Coles, Mark (2008) Simulating biology: towards understanding what the simulation shows. In: Proceedings of the 2008 Workshop on Complex Systems Modelling and Simulation, York, UK, September 2008. (Full text available)
[img]
Preview

Sampson, Adam T. (2008) Two-Way Protocols for occam-pi. In: Communicating Process Architectures 2008. (Full text available)
[img]
Preview

Ritson, Carl G. and Simpson, Jonathan (2008) Virtual Machine Based Debugging for occam-pi. In: Communicating Process Architectures 2008, SEP 07-10, 2008, York, England. (Full text available)
[img]
Preview

Simpson, Jonathan and Jacobsen, Christian L. (2008) Visual Process-oriented Programming for Robotics. In: Communicating Process Architectures 2008. (Full text available)
[img]
Preview

Polack, Fiona A.C. and Hoverd, Tim and Sampson, Adam T. and Stepney, Susan and Timmis, Jon (2008) Complex systems models: engineering simulations. In: Artificial Life XI: Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. (Full text available)
[img]
Preview

Sampson, Adam T. and Welch, Peter H. and Warren, Douglas N. and Andrews, Paul S. and Bjørndalen, John Markus and Stepney, Susan and Timmis, Jon (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, Fiona A.C. and Stepney, Susan 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

Johnson, Colin G. (2005) Non-classical computation the computationalist stance towards the natural and cognitive sciences. In: The Grand Challenge in Non-Classical Computation, 18-19 April 2005, York, United Kingdom. (The full text of this publication is not available from this repository)

Stepney, Susan and Smith, Robert E. and Timmis, Jon and Tyrrell, Andy M. (2004) Towards a Conceptual Framework for Artificial Immune Systems. In: Nicosia, Giuseppe, ed. Artificial Immune Systems. LNCS, 3239 (3239). Springer pp. 53-64. ISBN 3540230971. (Full text available)
[img]
Preview

Stepney, Susan and Clark, John A. and Johnson, Colin G. and Partridge, Derek and Smith, Robert 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)

Edited book

Welch, Peter H. and Stepney, Susan and Polack, Fiona A.C. and Barnes, Frederick R.M. and McEwan, Alistair A. and Stiles, Gardner S. and Broenink, Jan F. and Sampson, Adam T., eds. (2008) Communicating Process Architectures 2008. Concurrent Systems Engineering, 66 . IOS Press, Amsterdam, The Netherlands ISBN 978-1-58603-907-3. (The full text of this publication is not available from this repository)

This list was generated on Sun Nov 23 16:41:31 2014 GMT.