Skip to main content

Trinity College Dublin, The University of Dublin

Menu Search



Year Authors Title
  2016 Carlo Spaccasassi, Vasileios Koutavas Type-Based Analysis for Session Inference (Extended Abstract) Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, 9688, pp248-266
  2014 Vasileios Koutavas and Carlo Spaccasassi and Matthew Hennessy Bisimulations for Communicating Transactions (Extended Abstract) Foundations of Software Science and Computation Structures, 8412, pp320-334. DOI:
  2014 Vasileios Koutavas and Matthew Hennessy Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation Logical Methods in Computer Science. DOI:
  2013 Koutavas, V., Hennessy, M. Symbolic bisimulation for a higher-order distributed language with passivation (extended abstract) 24th International Conference on Concurrency Theory, CONCUR 2013, 8052, pp167-181. DOI:
  2013 Carlo Spaccasassi, Vasileios Koutavas Towards Efficient Abstractions for Concurrent Consensus Trends in Functional Programming, 8322, pp76-90. DOI:
  2012 Vasileios Koutavas and Matthew Hennessy First-Order Reasoning for Higher-Order Concurrency. Journal of Computer Languages, Systems and Structures, 38(3), pp242-277. DOI:
  2012 Nick Benton, Vasileios Koutavas A Mechanized Bisimulation for the Nu-Calculus Journal of Higher Order and Symbolic Computation
  2011 Vasileios Koutavas, Matthew Hennessy A Testing Theory for a Higher-Order Cryptographic Language Programming Languages and Systems, European Symposium on Programming (ESOP), 6602, pp358-377. DOI:
  2011 Vasileios Koutavas and Edsko de Vries Reverse Hoare Logic oftware Engineering and Formal Methods, 7041, pp155-171. DOI:
  2011 Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii From Applicative to Environmental Bisimulation Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVII), 276, pp215-235. DOI:
  2010 Edsko de Vries, Vasileios Koutavas and Matthew Hennessy. Liveness of Communicating Transactions (Extended Abstract) Lecture Notes in Computer Science, 6461, pp392-407. DOI:
  2010 Edsko de Vries, Vasileios Koutavas and Matthew Hennessy. Communicating Transactions 21st International Conference on Concurrency Theory (CONCUR 2010), 6269(2010), pp569-583. DOI:

Page: 1 of 1  Records: 12
Page 1