Robert-C. Riemann Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2003
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanna Klaudel, Robert-C. Riemann: Refinement-based Semantics of Parallel Procedures. PDPTA 1999: 1810-1816
1998
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann: M-net Calculus Based Semantics for Triggers. ICATPN 1998: 306-325
1997
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hanna Klaudel, Robert-C. Riemann: High Level Expressions with their SOS Semantics (Extended Abstract). CONCUR 1997: 288-301
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann: General Refinement for High Level Petri Nets. FSTTCS 1997: 297-311

Coauthor Index

1Véronique Benzaken
[c3]
2Raymond R. Devillers
[j1] [c1]
3Nicolas Hugon
[c3]
4Hanna Klaudel
[j1] [c4] [c3] [c2] [c1]
5Elisabeth Pelz
[c3]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 23:52:54 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page