Centre for Programming Languages and Systems

  • Postal address

    United Kingdom

Filter
Chapter

Search results

  • Chapter

    A tool for choreography-based analysis of message-passing software

    Lange, J., Tuosto, E. & Yoshida, N., 31 Jul 2017, Behavioural Types: from Theory to Tools English. River Publishers, p. 125-146 22 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Causal Trees, Finally

    Bruni, R., Montanari, U. & Sammartino, M., 20 Nov 2015, (E-pub ahead of print) Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Bodei, C., Ferrari, G. & Priami, C. (eds.). Springer-Verlag, p. 27-43 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9465).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  • Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach

    Montanari, U., Sammartino, M. & Tcheukam, A., 7 Feb 2018, (E-pub ahead of print) Graph Transformation, Specifications, and Nets. Heckel, R. & Taentzer, G. (eds.). Springer-Verlag, p. 179-200 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10800 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    Open Access
    File
    29 Downloads (Pure)