ask others

Ka I Pun

◀ ▶ joint publications with Elena Giachino

> Home > Persons > Ka I Pun
> Home > Persons > Elena Giachino

Publications

2015
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/facs2/GiachinoJLP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/facs2/GiachinoJLP15
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun:
Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -. FACS 2015: 199-216
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/GiachinoJLP15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/GiachinoJLP15
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun:
Time complexity of concurrent programs. CoRR abs/1511.05104 (2015)

maintained by

, founded at