Author of the publication

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

On Flowchart Theories: Part II. The Nondeterministic Case.. Theor. Comput. Sci., (1987)Translations Between Flowchart Schemes and Process Graphs., and . FCT, volume 710 of Lecture Notes in Computer Science, page 152-161. Springer, (1993)Interactive Systems: From Folklore to Mathematics.. RelMiCS, volume 2561 of Lecture Notes in Computer Science, page 197-211. Springer, (2001)Network algebra for asynchronous dataflow., , and . Int. J. Comput. Math., 65 (1-2): 57-88 (1997)Self-assembling heterogeneous interactive systems., and . SiSoS@ECSA, page 6:1-6:7. ACM, (2016)Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems., , , , and . IFM, volume 7321 of Lecture Notes in Computer Science, page 221-236. Springer, (2012)New parallel programming language design: a bridge between brain models and multi-core/many-core computers?, and . CoRR, (2008)An Algebraic Theory of Flowchart Schemes.. CAAP, volume 214 of Lecture Notes in Computer Science, page 60-73. Springer, (1986)Bisimulation is Two-Way Simulation., and . Inf. Process. Lett., 52 (6): 285-287 (1994)Visual formalisms revisited, , and . page 41--51. (1998)