Search research publications and outputs

  1. 2009
  2. CoSMoS: Complex Systems Modelling and Simulation Infrastructure (extended abstract)

    Stepney, S. & Welch, P. H., 2009.

    Research output: Contribution to conferenceAbstract

  3. 2006
  4. An Operational Semantics in UTP for a Language of Reactive Designs

    Woodcock, J., 2006, p. 84-84.

    Research output: Contribution to conferenceAbstract

  5. 1997
  6. 1995
  7. Trade-offs For Memory Bandwidth Reduction in Stack Processor Design

    Crispin-Bailey, C. & sotudeh, R., 5 Jul 1995.

    Research output: Contribution to conferenceAbstract