( en | de | ru )

 

Disambiguation of "Bloom, Bard"

Author of the publication

copydeleteadd this publication to your clipboard
X10 Language Specification

, , , , and . IBM, (Jan 31, 2012)

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

A Remark on Bisimulation Between Probabilistic Processes., and . Logic at Botik, volume 363 of Lecture Notes in Computer Science, page 26-40. Springer, (1989)When is Partial Trace Equivalence Adequate?. Formal Aspects Comput., 6 (3): 317-338 (1994)Bisimulation Can't Be Traced., , and . POPL, page 229-239. ACM Press, (1988)long version: JACM 42(1): 232-268 (1995).Generating BDD Models for Process Algebra Terms., and . CAV, volume 939 of Lecture Notes in Computer Science, page 16-30. Springer, (1995)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 . LICS, page 113-124. IEEE Computer Society, (1992)Constructing Two-Writer Atomic Registers.. IEEE Trans. Computers, 37 (12): 1506-1514 (1988)Lopsided Little Languages: Experience with XQuery.. XIME-P, (2005)CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms.. POPL, page 339-347. ACM Press, (1994)Putting Time into Proof Outlines., , and . REX Workshop, volume 600 of Lecture Notes in Computer Science, page 618-639. Springer, (1991)