Reiner Hüchting
From MaRDI portal
Person:2842105
Available identifiers
zbMath Open huchting.reinerMaRDI QIDQ2842105
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Bounds on Mobility | 2014-09-15 | Paper |
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets | 2013-09-26 | Paper |
A Theory of Name Boundedness | 2013-08-12 | Paper |
A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets | 2012-09-25 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Reiner Hüchting