Formal Aspects of Computing, 0934-5043

Journal

Publications

  1. 2014
  2. Published

    The Essence of Reynolds

    Brookes, S., O'Hearn, P. W. & Uday Reddy, 1 May 2014, In : Formal Aspects of Computing. 26, 3, p. 435-439

    Research output: Contribution to journalArticle

  3. 2009
  4. Published

    Physigrams: modelling devices for natural interaction

    Alan Dix, Ghazali, M., Gill, S., Hare, J. & Ramduny-ellis, D., 1 Dec 2009, In : Formal Aspects of Computing. 21, 6, p. 613-641

    Research output: Contribution to journalArticle

  5. 2007
  6. Published

    Minimal refinements of specifications in modal and temporal logics

    Gorogiannis, N. & Mark Ryan, 17 Oct 2007, In : Formal Aspects of Computing. 19, 4, p. 273 1 p.

    Research output: Contribution to journalArticle

  7. 2005
  8. Published

    A refinement-based process algebra for timed automata

    Stefano Cattani & Marta Kwiatkowska, 1 Aug 2005, In : Formal Aspects of Computing. 17, 2, p. 138-159 22 p.

    Research output: Contribution to journalArticle

  9. Published

    Using probabilistic model checking for dynamic power management

    Gethin Norman, David Parker, Marta Kwiatkowska, Shukla, S. & Gupta, R., 1 Aug 2005, In : Formal Aspects of Computing. 17, 2, p. 160-176 17 p.

    Research output: Contribution to journalArticle

  10. 2003
  11. Published