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