default search action
combined dblp search
author search
venue search
publication search
Semantic Scholar search
Authors:
no matches
Venues:
no matches
Publications:
no matches
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
Ka I Pun
◀
▶
joint publications with
Elena Giachino
Trier 1
Trier 2
Dagstuhl
>
Home
>
Persons
>
Ka I Pun
>
Home
>
Persons
>
Elena Giachino
Publications
2015
[c8]
view
electronic edition via DOI
export record
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
conf/facs2/GiachinoJLP15
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
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
BibTeX
RIS
RDF N-Triples
RDF/XML
XML
dblp key:
journals/corr/GiachinoJLP15
ask others
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
share record
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
Facebook
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
home
news
statistics
browse
persons
conferences
journals
series
search
search dblp
lookup by ID
about
f.a.q.
team
license
privacy
imprint