Bernstein, Arthur
444  results:
Search for persons X
?
1

Automatic workflow verification and generation:

Lu, Shiyong ; Bernstein, Arthur ; Lewis, Philip
Theoretical Computer Science.  353 (2006)  1-3 - p. 71-92 , 2006
 
?
2

A model for abstract process specification, verification an..:

, In: Proceedings of the 2nd international conference on Service oriented computing,
Duan, Ziyang ; Bernstein, Arthur ; Lewis, Philip. - p. 232-241 , 2004
 
?
6

Transaction decomposition using transaction semantics:

Bernstein, Arthur J. ; Lewis, Philip M.
Distributed and parallel databases.  4 (1996)  1 - p. 25-47 , 1996
 
?
 
?
 
?
9

Bounded ignorance : a technique for increasing concurren..:

Krishnakumar, Narayanan ; Bernstein, Arthur J.
ACM Transactions on Database Systems (TODS).  19 (1994)  4 - p. 586-625 , 1994
 
?
10

On the relative execution times of distributed protocols:

Singh, Gurdip ; Bernstein, Arthur J.
International Journal of Parallel Programming.  20 (1991)  3 - p. 203-235 , 1991
 
?
11

Bounded ignorance in replicated systems:

, In: Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems,
 
?
12

Concurrency control optimizations in a prolog database:

Sengupta, Soumitra ; Bernstein, Arthur J.
International Journal of Parallel Programming.  19 (1990)  3 - p. 185-211 , 1990
 
?
14

Efficient solutions to the replicated log and dictionary pr..:

Wuu, Gene T J ; Bernstein, Arthur J
ACM SIGOPS Operating Systems Review.  20 (1986)  1 - p. 57-66 , 1986
 
?
15

Efficient solutions to the replicated log and dictionary pr..:

Wuu, Gene T J ; Bernstein, Arthur J
ACM SIGOPS Operating Systems Review.  20 (1986)  1 - p. 57-66 , 1986
 
1-15
Related subjects