Author of the publication

Communicating Hierarchical State Machines.

, , and . ICALP, volume 1644 of Lecture Notes in Computer Science, page 169-178. Springer, (1999)

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

Small Approximate Pareto Sets for Biobjective Shortest Paths and Other Problems., and . SIAM J. Comput., 39 (4): 1340-1371 (2009)Linear Approximation of Shortest Superstrings, , , and . J. ACM, 41 (4): 630-647 (1994)A Theory of Safe Locking Policies in Database Systems.. J. ACM, 29 (3): 718-740 (1982)Multiobjective Query Optimization., and . PODS, ACM, (2001)Issues of Correctness in Database Concurrency Control by Locking. STOC, page 363-367. ACM, (1981)Linear Approximation of Shortest Superstrings, , , , and . STOC, page 328-336. ACM, (1991)Deadlock-Freedom (and Safety) of Transactions in a Distributed Database., and . PODS, page 105-112. ACM, (1985)The Complexity of Restricted Minimum Spanning Tree Problems (Extended Abstract)., and . ICALP, volume 71 of Lecture Notes in Computer Science, page 460-470. Springer, (1979)Recursive Concurrent Stochastic Games., and . ICALP (2), volume 4052 of Lecture Notes in Computer Science, page 324-335. Springer, (2006)Automata, Probability, and Recursion.. CIAA, volume 5148 of Lecture Notes in Computer Science, page 23-32. Springer, (2008)