Lecture Notes in Computer Science, 0302-9743

Journal

Publications

  1. 2004
  2. Published

    Angelic semantics of fine-grained concurrency

    Dan Ghica, 1 Mar 2004, In: Lecture Notes in Computer Science. 2987, p. 211-225 15 p.

    Research output: Contribution to journalArticlepeer-review

  3. 2003
  4. Published

    Analysis of Probabilistic Contract Signing

    Gethin Norman, 1 Jan 2003, In: Lecture Notes in Computer Science. 2629, p. 81-96 16 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 3 Next