Author pages are created from data sourced from our academic publisher partnerships and public sources.

- Publications
- Influence

Bisimulation can't be traced

- B. Bloom, S. Istrail, A. Meyer
- Computer Science
- POPL '88
- 13 January 1988

tl;dr

Turning SOS rules into equations

- L. Aceto, B. Bloom, F. Vaandrager
- Mathematics, Computer Science
- [] Proceedings of the Seventh Annual IEEE…
- 22 June 1992

tl;dr

Bisimulation can't be traced

- B. Bloom, S. Istrail, A. Meyer
- Computer Science
- JACM
- 3 January 1995

tl;dr

Bisimulation can't be traced. Preliminary report

- B. Bloom, S. Istrail, A. Meyer
- Mathematics
- 1 November 1987

Bisimulation is the primitive notion of equivalence between concurrent processes in Milner's Calculus of Communicating Systems (CCS); there is a nontrivial game-like protocol for distinguishing… Expand

- 110
- 8
- Open Access

Structural Operational Semantics for Weak Bisimulations

- B. Bloom
- Mathematics, Computer Science
- Theor. Comput. Sci.
- 24 July 1995

tl;dr

Unsupervised Machine Learning on a Hybrid Quantum Computer

- J. Otterbach, R. Manenti, +27 authors C. Rigetti
- Physics, Mathematics
- 15 December 2017

Machine learning techniques have led to broad adoption of a statistical model of computing. The statistical distributions natively available on quantum processors are a superset of those available… Expand

Turning SOS Rules into Equations

- L. Aceto, B. Bloom, F. Vaandrager
- Mathematics, Computer Science
- Inf. Comput.
- 15 May 1994

tl;dr

Transformational Design and Implementation of a New Efficient Solution to the Ready Simulation Problem

tl;dr

Precongruence formats for decorated trace semantics

- B. Bloom, W. Fokkink, R. V. Glabbeek
- Mathematics, Computer Science
- TOCL
- 16 April 2002

tl;dr

Thorn: robust, concurrent, extensible scripting on the JVM

- B. Bloom, J. Field, +5 authors Tobias Wrigstad
- Computer Science
- OOPSLA
- 2009

tl;dr