Vasileios Koutavas

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Matthew Hennessy

> Home > Persons > Vasileios Koutavas

Publications

2018
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/KoutavasGH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KoutavasGH18
Vasileios Koutavas, Maciej Gazda, Matthew Hennessy:
Distinguishing between communicating transactions. Inf. Comput. 259(1): 1-30 (2018)
2017
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/KoutavasGH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KoutavasGH17
Vasileios Koutavas, Maciej Gazda, Matthew Hennessy:
Distinguishing between Communicating Transactions. CoRR abs/1703.03256 (2017)
2014
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/KoutavasSH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/KoutavasSH14
Vasileios Koutavas, Carlo Spaccasassi, Matthew Hennessy:
Bisimulations for Communicating Transactions - (Extended Abstract). FoSSaCS 2014: 320-334
2013
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/KoutavasH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/KoutavasH13
Vasileios Koutavas, Matthew Hennessy:
Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation - (Extended Abstract). CONCUR 2013: 167-181
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/cl/KoutavasH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cl/KoutavasH12
Vasileios Koutavas, Matthew Hennessy:
First-order reasoning for higher-order concurrency. Comput. Lang. Syst. Struct. 38(3): 242-277 (2012)
2011
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/KoutavasH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/KoutavasH11
Vasileios Koutavas, Matthew Hennessy:
A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract). ESOP 2011: 358-377
2010
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/VriesKH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/VriesKH10
Edsko de Vries, Vasileios Koutavas, Matthew Hennessy:
Liveness of Communicating Transactions (Extended Abstract). APLAS 2010: 392-407
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/VriesKH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/VriesKH10
Edsko de Vries, Vasileios Koutavas, Matthew Hennessy:
Communicating Transactions - (Extended Abstract). CONCUR 2010: 569-583

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.