Verimag

bibtex

@article{DEL+16,
    title = { On the existence and decidability of unique decompositions of processes in the applied {(pi)}-calculus },
    author = {Dreier, Jannik and Ene, Cristian and Lafourcade, Pascal and Lakhnech, Yassine},
    year = {2016},
    journal = {Theor. Comput. Sci.},
    pages = {102--125},
    volume = {612},
    team = {PACSS, DCS},
    timestamp = {Thu, 04 Aug 2016 15:57:02 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/tcs/DreierELL16}, bibsource = {dblp computer science bibliography, http://dblp.org},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 845182