( en | de | ru )

 

Disambiguation of "Bloom, Bard"

Author of the publication

copydeleteadd this publication to your clipboard
Bisimulation Can't be Traced.

, , and . J. ACM, 42 (1): 232-268 (1995)

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.

Renate Bloom

Margareta Bloom-Schinnerl

Toby Bloom

Sabine Bard

Bard Baukol

 

Other publications of authors with the same name

Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics., , and . REX Workshop, volume 666 of Lecture Notes in Computer Science, page 639-659. Springer, (1992)Turning SOS Rules into Equations, , and . Inf. Comput., 111 (1): 1-52 (May 1994)Turning SOS Rules into Equations, , and . LICS, page 113-124. IEEE Computer Society, (1992)Putting Time into Proof Outlines., , and . REX Workshop, volume 600 of Lecture Notes in Computer Science, page 618-639. Springer, (1991)Matchete: Paths through the Pattern Matching Jungle., , , and . PADL, volume 4902 of Lecture Notes in Computer Science, page 150-166. Springer, (2008)Computing Ready Simulations Efficiently., and . NAPAW, page 119-134. Springer, (1992)CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms.. POPL, page 339-347. ACM Press, (1994)Can LCF Be Topped? Flat Lattice models of Typed Lambda Calculus (Preliminary Report). LICS, page 282-295. IEEE Computer Society, (1988)Constructing Two-Writer Atomic Registers.. IEEE Trans. Computers, 37 (12): 1506-1514 (1988)Lopsided Little Languages: Experience with XQuery.. XIME-P, (2005)