Treffer 1 - 5 von 5 für Suche 'Hüchting, Reiner', Suchdauer: 0,30s Treffer weiter einschränken
  1. 1
    A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

    A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets von Khomenko, Victor, Meyer, Roland, Hüchting, Reiner


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Bounds on Mobility

    Bounds on Mobility von Hüchting, Reiner, Majumdar, Rupak, Meyer, Roland


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets

    A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets von Meyer, Roland, Khomenko, Victor, Hüchting, Reiner


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    A Theory of Name Boundedness

    A Theory of Name Boundedness von Hüchting, Reiner, Majumdar, Rupak, Meyer, Roland


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

    A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets von Khomenko, Victor, Meyer, Roland, Hüchting, Reiner

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: