Author of the publication

From Domains to Automata with Concurrency.

, and . ICALP, volume 700 of Lecture Notes in Computer Science, page 669-681. Springer, (1993)

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

Editorial., and . Journal of Automata, Languages and Combinatorics, 8 (2): 115 (2003)Continuous Petri Nets and Transition Systems., and . Unifying Petri Nets, volume 2128 of Lecture Notes in Computer Science, page 457-484. Springer, (2001)Concurrency, Automata and Domains.. ICALP, volume 443 of Lecture Notes in Computer Science, page 195-208. Springer, (1990)Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics., , , and . Algebraic Foundations in Computer Science, volume 7020 of Lecture Notes in Computer Science, page 30-55. Springer, (2011)Weighted Automata and Weighted Logics with Discounting., and . CIAA, volume 4783 of Lecture Notes in Computer Science, page 73-84. Springer, (2007)Weighted Automata and Quantitative Logics.. QLSC, volume 5 of World Scientific Proceedings Series on Computer Engineering and Informtion Science, World Scientific, (2012)Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids., , , and . CoRR, (2021)The Kleene-Schützenberger Theorem for Formal Power Series in Partially Commuting Variables., and . Inf. Comput., 153 (1): 47-80 (1999)10031 Executive Summary - Quantitative Models: Expressiveness and Analysis., , , and . Quantitative Models: Expressiveness and Analysis, volume 10031 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)Completeness Properties of Certain Normal Subgroup Lattices.. Eur. J. Comb., 8 (2): 129-137 (1987)