Author of the publication

Construction of Distributed Systems from Cycle-Free Finite Automata.

. European Workshop on Applications and Theory of Petri Nets, volume 66 of Informatik-Fachberichte, page 199-220. Springer, (1982)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Leider - ein Kommentar zur heutigen IT., and . Inform. Spektrum, 38 (5): 406-408 (2015)A Computation-System Based Method for Automated Proving of Protocols Against Services., and . Protocol Specification, Testing, and Verification, page 213-228. North-Holland, (1983)Construction of Distributed Systems from Cycle-Free Finite Automata.. European Workshop on Applications and Theory of Petri Nets, volume 66 of Informatik-Fachberichte, page 199-220. Springer, (1982)Divide et impera., and . Inform. Spektrum, 41 (4): 263-264 (2018)An Algorithm to Construct Distributed Systems from State-Machines.. PSTV, page 261-282. North-Holland, (1982)Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets., , and . PSTV, page 165-192. North-Holland, (1984)Strukturierter Entwurf eines Protokolls zum Auf- und Abbau von Verbindungen und dessen Analyse.. Prax. Inf.verarb. Kommun., 17 (2): 73-79 (1994)10.1515/piko.1994.17.2.67.Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL-Implementation Specifications from Global Protocol Specifications., , and . ICCC, page 531-536. International Council for Computer Communication / Elsevier, (1986)Von Sachertorte und anderen Dingen., and . Inform. Spektrum, 39 (6): 446-448 (2016)Eigenschaften färbbarer Petri-Netze.. Theoretical Computer Science, volume 48 of Lecture Notes in Computer Science, page 306-318. Springer, (1977)