Robert-C. Riemann

According to our database, Robert-C. Riemann authored at least 6 papers between 1997 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

General parameterised refinement and recursion for the M-net calculus.

Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann

Theor. Comput. Sci., 2003

1999

Modelling of concurrent systems: structural and semantical methods in the high level Petri net calculus.

Robert-C. Riemann

PhD thesis, 1999

Refinement-based Semantics of Parallel Procedures.

Hanna Klaudel, Robert-C. Riemann

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1998

M-net Calculus Based Semantics for Triggers.

Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann

Proceedings of the Application and Theory of Petri Nets 1998, 1998

1997

General Refinement for High Level Petri Nets.

Raymond R. Devillers, Hanna Klaudel, Robert-C. Riemann

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1997

High Level Expressions with their SOS Semantics (Extended Abstract).

Hanna Klaudel, Robert-C. Riemann

Proceedings of the CONCUR '97: Concurrency Theory, 1997