Formal Aspects of Computing, 0934-5043

Journal

Publications

  1. 2003
  2. Published
  3. 2005
  4. 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

  5. Published

    Using probabilistic model checking for dynamic power management

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

    Research output: Contribution to journalArticle

  6. 2007
  7. Published

    Minimal refinements of specifications in modal and temporal logics

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

    Research output: Contribution to journalArticle

  8. 2009
  9. Published

    Physigrams: modelling devices for natural interaction

    Alan Dix, 1 Dec 2009, In : Formal Aspects of Computing. 21, 6, p. 613-641

    Research output: Contribution to journalArticlepeer-review

  10. 2014
  11. Published

    The Essence of Reynolds

    Uday Reddy, 1 May 2014, In : Formal Aspects of Computing. 26, 3, p. 435-439

    Research output: Contribution to journalArticlepeer-review