×

zbMATH — the first resource for mathematics

Bloom, Bard

Compute Distance To:
Author ID: bloom.bard Recent zbMATH articles by "Bloom, Bard"
Published as: Bloom, Bard
Documents Indexed: 11 Publications since 1988

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 245 times in 176 Documents Cited by Year
Bisimulation can’t be traced. Zbl 0886.68027
Bloom, Bard; Istrail, Sorin; Meyer, Albert R.
121
1995
Turning SOS rules into equations. Zbl 0822.68059
Aceto, Luca; Bloom, Bard; Vaandrager, Frits
37
1994
Structural operational semantics for weak bisimulations. Zbl 0873.68130
Bloom, Bard
30
1995
Precongruence formats for decorated trace semantics. Zbl 1367.68209
Bloom, Bard; Fokkink, Wan; van Glabbeek, Rob J.
23
2004
Transformational design and implementation of a new efficient solution to the ready simulation problem. Zbl 0832.68050
Bloom, Bard; Paige, Robert
11
1995
Constructing two-writer atomic registers. Zbl 0663.68034
Bloom, Bard
10
1988
Can LCF be topped! Flat lattice models of typed \(\lambda{}\)-calculus. Zbl 0825.68447
Bloom, Bard
4
1990
Experimenting with process equivalence. Zbl 0761.68037
Bloom, Bard; Meyer, Albert R.
3
1992
On the expressive power of CCS. Zbl 1354.68194
Dsouza, Ashvin; Bloom, Bard
3
1995
A remark on bisimulation between probabilistic processes. Zbl 0681.68027
Bloom, Bard; Meyer, Albert R.
2
1989
When is partial trace equivalence adequate? Zbl 0942.68609
Bloom, Bard
1
1994
Precongruence formats for decorated trace semantics. Zbl 1367.68209
Bloom, Bard; Fokkink, Wan; van Glabbeek, Rob J.
23
2004
Bisimulation can’t be traced. Zbl 0886.68027
Bloom, Bard; Istrail, Sorin; Meyer, Albert R.
121
1995
Structural operational semantics for weak bisimulations. Zbl 0873.68130
Bloom, Bard
30
1995
Transformational design and implementation of a new efficient solution to the ready simulation problem. Zbl 0832.68050
Bloom, Bard; Paige, Robert
11
1995
On the expressive power of CCS. Zbl 1354.68194
Dsouza, Ashvin; Bloom, Bard
3
1995
Turning SOS rules into equations. Zbl 0822.68059
Aceto, Luca; Bloom, Bard; Vaandrager, Frits
37
1994
When is partial trace equivalence adequate? Zbl 0942.68609
Bloom, Bard
1
1994
Experimenting with process equivalence. Zbl 0761.68037
Bloom, Bard; Meyer, Albert R.
3
1992
Can LCF be topped! Flat lattice models of typed \(\lambda{}\)-calculus. Zbl 0825.68447
Bloom, Bard
4
1990
A remark on bisimulation between probabilistic processes. Zbl 0681.68027
Bloom, Bard; Meyer, Albert R.
2
1989
Constructing two-writer atomic registers. Zbl 0663.68034
Bloom, Bard
10
1988
all top 5

Cited by 213 Authors

27 Aceto, Luca
25 Ingólfsdóttir, Anna
13 Fokkink, Willem Jan
12 Gregorio-Rodríguez, Carlos
12 Tini, Simone
10 de Frutos-Escrig, David
9 van Glabbeek, Robert Jan
8 Klin, Bartek
8 Reniers, Michel Adriaan
7 Luttik, Bas
6 Rot, Jurriaan
5 Fábregas, Ignacio
5 Montanari, Ugo G.
5 Ulidowski, Irek
4 Cimini, Matteo
4 Gebler, Daniel E.
4 Groote, Jan Friso
3 Bonsangue, Marcello Maria
3 Bruni, Roberto
3 Castiglioni, Valentina
3 Palomino, Miguel
3 Ranzato, Francesco
3 Sangiorgi, Davide
3 Smolka, Scott A.
3 Vogler, Walter
2 Anderson, James H.
2 Baeten, Jos C. M.
2 Bloom, Bard
2 Bonchi, Filippo
2 Chen, Taolue
2 Cleaveland, Rance
2 Corradini, Andrea
2 D’Argenio, Pedro Rubén
2 De Nicola, Rocco
2 de Wind, Paulien
2 Durier, Adrien
2 Fecher, Harald
2 Ferrari, Gian Luigi
2 Gazda, Maciej W.
2 Goldin, Dina Q.
2 Heckel, Reiko
2 Hirschkoff, Daniel
2 Kupferman, Orna
2 Larsen, Kim Guldstrand
2 Lüttgen, Gerald
2 Maggiolo-Schettini, Andrea
2 Miculan, Marino
2 Mousavi, Mohammadreza
2 Phillips, Iain W.
2 Pous, Damien
2 Quaglia, Paola
2 Rensink, Arend
2 Roggenbach, Markus
2 Sack, Joshua
2 Sassone, Vladimiro
2 Schmidt, Heiko A.
2 Tapparo, Francesco
2 Verhoef, Chris
2 Yuen, Shoji
2 Zhang, Jinjin
2 Zhang, Yan
2 Zhu, Zhaohui
1 Abbasi, Rosa
1 Abraham, Uri
1 Abramsky, Samson
1 Anastasiadi, Elli
1 Andova, Suzana
1 Attie, Paul C.
1 Bacci, Giorgio
1 Baldan, Paolo
1 Barbuti, Roberto
1 Basten, Twan
1 Beohar, Harsh
1 Birgisson, Arnar
1 Bisping, Benjamin
1 Boreale, Michele
1 Bouyer, Patricia
1 Bracciali, Andrea
1 Brémond-Grégoire, Patrice
1 Burgueño, Augusto
1 Capobianco, Silvio
1 Cazorla, Diego
1 Charron-Bost, Bernadette
1 Chen, Liang
1 Chen, Yixiang
1 Cheng, Allan
1 Colvin, Robert J.
1 Cori, Robert
1 Cuartero, Fernando
1 Dami, Laurent
1 de Vink, Erik P.
1 Della Monica, Dario
1 Erkens, Rick
1 Ésik, Zoltán
1 Fehnker, Ansgar
1 Fiore, Marcelo P.
1 Fu, Yuxi
1 Gadducci, Fabio
1 Galpin, Vashti
1 García-Pérez, Álvaro
...and 113 more Authors

Citations by Year