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

Observing Truly Concurrent Processes.. TACS, volume 789 of Lecture Notes in Computer Science, page 886. Springer, (1994)From Denotational to Operational and Axiomatic Semantics for ALGOL-like Languages: an Overview., , and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 474-500. Springer, (1983)Second-Order Logical Relations (Extended Abstract)., and . Logic of Programs, volume 193 of Lecture Notes in Computer Science, page 225-236. Springer, (1985)Refinements of the Nondeterministic Time and Space Hierarchies, , and . SWAT, page 130-137. IEEE Computer Society, (1973)A note on disjunctive form tautologies., , , , and . SIGACT News, 5 (2): 17-20 (1973)On Computational Speed-Up, and . SWAT, page 351-355. IEEE Computer Society, (1968)A solution of an interleaving decision problem by a partial order technique., and . Partial Order Methods in Verification, volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 203-211. DIMACS/AMS, (1996)Equations between Regular Terms and an Application to Process Logic, , , and . STOC, page 384-390. ACM, (1981)On Time-Space Classes and Their Relation to the Theory of Real Addition, and . STOC, page 233-239. ACM, (1978)Sets that Don't Help, , and . STOC, page 130-134. ACM, (1973)