Author of the publication

Generalized Handle Grammars and Their Relation to Petri Nets.

, , , and . Elektronische Informationsverarbeitung und Kybernetik, 20 (4): 179-206 (1984)

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

Anchored Concatenation of MSCs., , , and . Formal Models, Languages and Applications, volume 66 of Series in Machine Perception and Artificial Intelligence, page 274-288. World Scientific, (2007)Interacting process classes., , , and . ICSE, page 302-311. ACM, (2006)Behavioural Notions for Elementary Net Systems., , and . Distributed Comput., (1990)On Message Sequence Graphs and Finitely Generated Regular MSC Languages., , , and . ICALP, volume 1853 of Lecture Notes in Computer Science, page 675-686. Springer, (2000)Substitution Systems - A Family of System Models Based on Concurrency., , and . MFCS, volume 88 of Lecture Notes in Computer Science, page 698-723. Springer, (1980)An Axiomatization of Event Structures., and . FSTTCS, volume 405 of Lecture Notes in Computer Science, page 143-160. Springer, (1989)Succinct discrete time approximations of distributed hybrid automata., and . HSCC, page 1-10. ACM, (2010)The Discrete Time Behavior of Lazy Linear Hybrid Automata., and . HSCC, volume 3414 of Lecture Notes in Computer Science, page 55-69. Springer, (2005)Open Systems in Reactive Environments: Control and Synthesis., , , and . CONCUR, volume 1877 of Lecture Notes in Computer Science, page 92-107. Springer, (2000)Distributed Versions of Linear Time Temporal Logic: A Trace Perspective., and . Petri Nets, volume 1491 of Lecture Notes in Computer Science, page 643-681. Springer, (1996)