Electronic Notes in Theoretical Computer Science, 1571-0661

Journal

Publications

  1. Article › Research › Not peer-reviewed
  2. Published

    Geometry of Synthesis II: From Games to Delay-Insensitive Circuits

    Dan Ghica & Alex Smith, 6 Sep 2010, In : Electronic Notes in Theoretical Computer Science. 265, p. 301-324 24 p.

    Research output: Contribution to journalArticle

  3. Published

    Living with paradoxes

    Manfred Kerber, 1 Mar 2005, In : Electronic Notes in Theoretical Computer Science. 123, p. 151-163 13 p.

    Research output: Contribution to journalArticle

  4. Published

    Modelling Intracellular Fate of FGF Receptors With BioAmbients

    John Heath, 12 Dec 2008, In : Electronic Notes in Theoretical Computer Science. 220, 3, p. 181-197 17 p.

    Research output: Contribution to journalArticle

  5. Published

    Paraconsistent Modal Logics

    Umberto Rivieccio, 3 Nov 2011, In : Electronic Notes in Theoretical Computer Science. 278, p. 173-186 14 p.

    Research output: Contribution to journalArticle

  6. Published

    Synthetic topology of data types and classical spaces

    Martin Escardo, 1 Jan 2004, In : Electronic Notes in Theoretical Computer Science. 87, p. 21-156 136 p.

    Research output: Contribution to journalArticle

  7. Article › Research › Peer-reviewed
  8. Published

    A system-level game semantics

    Dan Ghica, 24 Sep 2012, In : Electronic Notes in Theoretical Computer Science. 286, p. 191-211 21 p.

    Research output: Contribution to journalArticle

  9. Published

    Game semantics in the nominal model

    Dan Ghica, 24 Sep 2012, In : Electronic Notes in Theoretical Computer Science. 286, p. 173-189 17 p.

    Research output: Contribution to journalArticle

  10. Published
  11. Published

    On a categorical framework for coalgebraic modal logic

    Achim Jung, 29 Oct 2014, In : Electronic Notes in Theoretical Computer Science. 308, p. 109-128

    Research output: Contribution to journalArticle

  12. Published
Previous 1 2 Next