Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Publications by Reiner Hüchting

Publications by Reiner Hüchting

Conference contributions

  1. Bounds on Mobility, with Rupak Majumdar and Roland Meyer.
    In Proceedings of CONCUR 2014.
    PDF | DOI | BibTeX

  2. A Theory of Name Boundedness, with Rupak Majumdar and Roland Meyer.
    In Proceedings of CONCUR 2013.
    PDF | DOI

  3. A Polynomial Translation of Pi-Calculus (FCP) to Safe Petri Nets, with Roland Meyer and Victor Khomenko.
    In Proceedings of CONCUR 2012.
    PDF | DOI

Journal articles

  1. A Polynomial Translation of Pi-Calculus (FCP) to Safe Petri Nets, with Victor Khomenko and Roland Meyer.
    Logical Methods in Computer Science, 2013.
    arXiv | BibTeX

Technical Reports

  1. A Polynomial Translation of Pi-Calculus (FCP) to Safe Petri Nets, with Roland Meyer and Victor Khomenko.
    Technical Report CS-TR-1323, School of Computing Science, Newcastle University, 2012.
    PDF