Information and Computation, 0890-5401

Journal

1 - 7 out of 7Page size: 10

Publications

  1. 2013
  2. Published

    Compositional probabilistic verification through multi-objective model checking

    Marta Kwiatkowska, Gethin Norman, David Parker & Qu, H., Nov 2013, In : Information and Computation. 232, p. 38-65

    Research output: Contribution to journal › Article

  3. 2009
  4. Published

    Operational domain theory and topology of sequential programming languages

    Martin Escardo & Ho, WK., 1 Mar 2009, In : Information and Computation. 207, 3, p. 411-437 27 p.

    Research output: Contribution to journal › Article

  5. 2008
  6. Published

    Fair multi-party contract signing using private contract signatures

    Aybek Mukhamedov & Mark Ryan, 1 Feb 2008, In : Information and Computation. 206, 2-4, p. 272-290 19 p.

    Research output: Contribution to journal › Article

  7. 2007
  8. Published

    Symbolic model checking for probabilistic timed automata

    Marta Kwiatkowska, Gethin Norman, Jeremy Sproston & Wang, F., 1 Jul 2007, In : Information and Computation. 205, 7, p. 1027-1077 51 p.

    Research output: Contribution to journal › Article

  9. 2004
  10. Published

    On the call-by-value CPS transform and its semantics

    Fuhrmann, C. & Hayo Thielecke, 1 Jan 2004, In : Information and Computation. 188, 2, p. 241-283 43 p.

    Research output: Contribution to journal › Article

  11. 2003
  12. Published

    Modelling Environments in Call-by-value Programming Languages

    Paul Levy, Power, AJ. & Hayo Thielecke, 15 Sep 2003, In : Information and Computation. 185, p. 182-210 29 p.

    Research output: Contribution to journal › Article

  13. 2002
  14. Published

    Objects and Classes in Algol-like Languages

    Uday Reddy, 10 Jan 2002, In : Information and Computation. 172, 1, p. 63-97 35 p.

    Research output: Contribution to journal › Article