( en | de | ru )

 

Disambiguation of "Lautenbach, Kurt"

Author of the publication

copydeleteadd this publication to your clipboard
Use of Petri Nets for Proving Correctness of Concurrent Process Systems.

, and . IFIP Congress, page 187-191. (1974)

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.

Kurt Lautenbach

Kurt Lautenbach

Volker Lautenbach

Werner Lautenbach

Birgit Lautenbach

 

Other publications of authors with the same name

Linear Algebraic Techniques for Place/Transition Nets.. Advances in Petri Nets, volume 254 of Lecture Notes in Computer Science, page 142-167. Springer, (1986)S-Invariance in Predicate/Transition Nets., and . European Workshop on Applications and Theory of Petri Nets, volume 66 of Informatik-Fachberichte, page 98-111. Springer, (1982)Kombinatorische Beschreibung und Lösung von Organisationsproblemen., and . ARCS, volume 27 of Informatik-Fachberichte, page 178-193. Springer, (1980)Guidelines on using net analysis techniques with large specifications., , , , , and . Applications and Theory in Petri Nets, volume 222 of Lecture Notes in Computer Science, page 142-161. Springer, (1985)Petri-Netz-Darstellung von Deduktiven Datenbanken., and . Grundlagen von Datenbanken, page 16-22. ETH Zürich, (1991)Logical Reasoning and Petri Nets.. ICATPN, volume 2679 of Lecture Notes in Computer Science, page 276-295. Springer, (2003)The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes., and . IEEE Trans. Computers, 31 (3): 194-207 (1982)Reproducibility of the Empty Marking.. ICATPN, volume 2360 of Lecture Notes in Computer Science, page 237-253. Springer, (2002)Liveness and duality in marked-graph-like predicate/transition nets., and . European Workshop on Applications and Theory in Petri Nets, volume 188 of Lecture Notes in Computer Science, page 331-352. Springer, (1984)The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets., and . Semantics of Concurrent Computation, volume 70 of Lecture Notes in Computer Science, page 123-147. Springer, (1979)