For the most recent entries see the
Petri Nets Newsletter.
Olderog, E.-R.
-
Olderog, E.-R.;
Schenke, M.:
Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications.
1995.
-
Olderog, Ernst-Rüdiger:
Correctness of Concurrent Processes.
1991.
-
Olderog, Ernst-Rüdiger:
From Trace Specifications to Process Terms.
1990.
-
Olderog, Ernst-Rüdiger:
Strong Bisimilarity on Nets: A new Concept for Comparing Net Semantics.
1989.
-
Olderog, E.-R.;
Goltz, U.;
van Glabbeek, R.:
Combining Compositionality and Concurrency. Summary of a GMD-Workshop, Königswinter, March 1988.
1988.
-
Olderog, Ernst-Rüdiger:
Operational Petri Net Semantics for CCSP.
1987.
-
Olderog, Ernst-Rüdiger:
TCSP: Theory of Communicating Sequential Processes.
1987.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography