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 |