|
Search the dblp DataBase
Robert-C. Riemann:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann
M-net Calculus Based Semantics for Triggers. [Citation Graph (0, 0)][DBLP] ICATPN, 1998, pp:306-325 [Conf]
- Hanna Klaudel, Robert-C. Riemann
High Level Expressions with their SOS Semantics (Extended Abstract). [Citation Graph (0, 0)][DBLP] CONCUR, 1997, pp:288-301 [Conf]
- Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann
General Refinement for High Level Petri Nets. [Citation Graph (0, 0)][DBLP] FSTTCS, 1997, pp:297-311 [Conf]
- Hanna Klaudel, Robert-C. Riemann
Refinement-based Semantics of Parallel Procedures. [Citation Graph (0, 0)][DBLP] PDPTA, 1999, pp:1810-1816 [Conf]
- Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann
General parameterised refinement and recursion for the M-net calculus. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2003, v:300, n:1-3, pp:259-300 [Journal]
Search in 0.001secs, Finished in 0.001secs
|