Robert-C. Riemann

Publication Activity (10 Years)

Years Active: 1997-2003
Publications (10 Years): 0

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann
General parameterised refinement and recursion for the M-net calculus. Theor. Comput. Sci. 300 (1-3) (2003)
Hanna Klaudel, Robert-C. Riemann
Refinement-based Semantics of Parallel Procedures. PDPTA (1999)
Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann
M-net Calculus Based Semantics for Triggers. ICATPN (1998)
Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann
General Refinement for High Level Petri Nets. FSTTCS (1997)
Hanna Klaudel, Robert-C. Riemann
High Level Expressions with their SOS Semantics (Extended Abstract). CONCUR (1997)