Author of the publication

Well-Formed Flow Charts for Concurrent Programming.

, and . Formal Description of Programming Concepts, page 357-382. North-Holland, (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

A theory of regular MSC languages., , , , and . Inf. Comput., 202 (1): 1-38 (2005)Some Logical and Automata-Theoretic Aspects of Product Behaviours.. Electr. Notes Theor. Comput. Sci., 16 (2): 153 (1998)A Logical Characterization of Well Branching Event Structures., and . Theor. Comput. Sci., 96 (1): 35-72 (1992)Some Behavioural Aspects of Net Theory.. Theor. Comput. Sci., 71 (1): 133-153 (1990)Branching time controllers for discrete event systems., and . Theor. Comput. Sci., 274 (1-2): 117-149 (2002)Event Structures and Trace Monoids., and . Theor. Comput. Sci., 91 (2): 285-313 (1991)A Petri Net Model of Asynchronously Communicating Sequential Processes., and . A Perspective in Theoretical Computer Science, volume 16 of World Scientific Series in Computer Science, World Scientific, (1989)Generalized Handle Grammars and Their Relation to Petri Nets., , , and . Elektronische Informationsverarbeitung und Kybernetik, 20 (4): 179-206 (1984)Event Count Automata: A State-Based Model for Stream Processing Systems., , and . RTSS, page 87-98. IEEE Computer Society, (2005)A UML-Based Design Framework for Time-Triggered Applications., , and . RTSS, page 39-48. IEEE Computer Society, (2007)