 | 1993 |
|---|
| 10 |       | Peter Ochsenschläger,
Rainer Prinoth:
Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktionsnetzen.
Kommunikation in Verteilten Systemen 1993: 456-470 |
| 1986 |
|---|
| 9 | | Heinz Jürgen Burkhardt,
Hans Eckert,
Rainer Prinoth:
Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL-Implementation Specifications from Global Protocol Specifications.
ICCC 1986: 531-536 |
| 1985 |
|---|
| 8 |  | Bernd Baumgarten,
Heinz Jürgen Burkhardt,
Peter Ochsenschläger,
Rainer Prinoth:
The signing of a contract - a tree-structured application.
Applications and Theory in Petri Nets 1985: 1-18 |
| 7 | | Heinz Jürgen Burkhardt,
Hans Eckert,
Rainer Prinoth:
Modellierung von OSI-Kommunikationsdiensten und Protokollen mit Hilfe von Prädikat-Transitionsnetzen.
Kommunikation in Verteilten Systemen (1) 1985: 610-645 |
| 6 | | Bernd Baumgarten,
Peter Ochsenschläger,
Rainer Prinoth:
Building blocks for distributed system design.
PSTV 1985: 19-38 |
| 1984 |
|---|
| 5 | | Heinz Jürgen Burkhardt,
Hans Eckert,
Rainer Prinoth:
Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets.
PSTV 1984: 165-192 |
| 1983 |
|---|
| 4 | | Hans Eckert,
Rainer Prinoth:
A Computation-System Based Method for Automated Proving of Protocols Against Services.
Protocol Specification, Testing, and Verification 1983: 213-228 |
| 1982 |
|---|
| 3 | | Rainer Prinoth:
Construction of Distributed Systems from Cycle-Free Finite Automata.
European Workshop on Applications and Theory of Petri Nets 1982: 199-220 |
| 2 | | Rainer Prinoth:
An Algorithm to Construct Distributed Systems from State-Machines.
PSTV 1982: 261-282 |
| 1977 |
|---|
| 1 | | Rainer Prinoth:
Eigenschaften färbbarer Petri-Netze.
Theoretical Computer Science 1977: 306-318 |
