Journal of Logic and Algebraic Programming, 1567-8326

Journal

Publications

  1. 2009
  2. Published

    Schedulability of Asynchronous Real-time Concurrent Objects

    Tom Chothia, 1 May 2009, In : Journal of Logic and Algebraic Programming. 78, 5, p. 402-416 15 p.

    Research output: Contribution to journalArticle

  3. 2008
  4. Published

    A Hofmann–Mislove theorem for bitopological spaces

    Achim Jung, 1 Jul 2008, In : Journal of Logic and Algebraic Programming. 76, 2, p. 161-174 14 p.

    Research output: Contribution to journalArticle