Skip to main content

Trinity College Dublin, The University of Dublin

Menu Search



Publications

Publications

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: http://dx.doi.org/10.1007/978-3-642-54830-7_21
  2014 Vasileios Koutavas and Matthew Hennessy Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation Logical Methods in Computer Science. DOI: http://dx.doi.org/10.1007/978-3-642-40184-8_13
  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: http://dx.doi.org/10.1007/978-3-642-40184-8_13
  2013 Carlo Spaccasassi, Vasileios Koutavas Towards Efficient Abstractions for Concurrent Consensus Trends in Functional Programming, 8322, pp76-90. DOI: http://dx.doi.org/10.1007/978-3-642-45340-3_5
  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: http://dx.doi.org/10.1016/j.cl.2012.04.003
  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: http://dx.doi.org/10.1007/978-3-642-19718-5_19
  2011 Vasileios Koutavas and Edsko de Vries Reverse Hoare Logic oftware Engineering and Formal Methods, 7041, pp155-171. DOI: http://dx.doi.org/10.1007/978-3-642-24690-6_12
  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: http://dx.doi.org/10.1016/j.entcs.2011.09.023
  2010 Edsko de Vries, Vasileios Koutavas and Matthew Hennessy. Liveness of Communicating Transactions (Extended Abstract) Lecture Notes in Computer Science, 6461, pp392-407. DOI: http://dx.doi.org/10.1007/978-3-642-17164-2_27
  2010 Edsko de Vries, Vasileios Koutavas and Matthew Hennessy. Communicating Transactions 21st International Conference on Concurrency Theory (CONCUR 2010), 6269(2010), pp569-583. DOI: http://dx.doi.org/10.1007/978-3-642-15375-4_39

Page: 1 of 1  Records: 12
Page 1