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