If you made any changes in Pure these will be visible here soon.
Filter
Chapter

Search results

  • A Calculus of Chemical Systems

    Plotkin, G., 2013, In Search of Elegance in the Theory and Practice of Computation: Essays Dedicated to Peter Buneman. Tannen, V., Wong, L., Libkin, L., Fan, W., Tan, W-C. & Fourman, M. (eds.). Springer-Verlag GmbH, p. 445-465 21 p. (Lecture Notes in Computer Science; vol. 8000).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
  • Countable Non-Determinism and Uncountable Limits

    Gianantonio, P., Honsell, F., Liani, S. & Plotkin, G. D., 1994, CONCUR ’94: Concurrency Theory: 5th International Conference, Uppsala, Sweden, August 22–25, 1994, Proceedings. Jonsson, B. & Parrow, J. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 130-145 16 p. (Lecture Notes in Computer Science; vol. 836).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Layout Randomization and Nondeterminism

    Abadi, M., Planul, J. & Plotkin, G. D., 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Springer International Publishing, p. 1-39 39 p. (Lecture Notes in Computer Science; vol. 8464).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
  • On CSP and the Algebraic Theory of Effects

    van Glabbeek, R. & Plotkin, G., 2010, Reflections on the Work of C.A.R. Hoare. Roscoe, A. W., Jones, C. B. & Wood, K. R. (eds.). London: Springer London, p. 333-369 37 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Some Varieties of Equational Logic (Extended Abstract)

    Plotkin, G., 2006, Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Springer-Verlag GmbH, p. 150-156 7 p. (Lecture Notes in Computer Science; vol. 4060).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
  • The tower of informatics models

    Bertot, Y., Huet, G., Lvy, J-J., Plotkin, G. & Milner, R., 2009, From Semantics to Computer Science: Essays in Honour of Gilles Kahn. 1st ed. New York, NY, USA: Cambridge University Press, p. 559-572 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File