AAAAAA

   
Results: 1-9 |
Results: 9
STRONG INTERACTION FAIRNESS VIA RANDOMIZATION
Authors: JOUNG YJ SMOLKA SA
Citation: Yj. Joung et Sa. Smolka, STRONG INTERACTION FAIRNESS VIA RANDOMIZATION, IEEE transactions on parallel and distributed systems, 9(2), 1998, pp. 137-149
COMPOSITION AND BEHAVIORS OF PROBABILISTIC I O AUTOMATA/
Authors: WU SH SMOLKA SA STARK EW
Citation: Sh. Wu et al., COMPOSITION AND BEHAVIORS OF PROBABILISTIC I O AUTOMATA/, Theoretical computer science, 176(1-2), 1997, pp. 1-38
A COMPREHENSIVE STUDY OF THE COMPLEXITY OF MULTIPARTY INTERACTION
Authors: JOUNG YJ SMOLKA SA
Citation: Yj. Joung et Sa. Smolka, A COMPREHENSIVE STUDY OF THE COMPLEXITY OF MULTIPARTY INTERACTION, Journal of the ACM, 43(1), 1996, pp. 75-115
STRATEGIC DIRECTIONS IN CONCURRENCY RESEARCH
Authors: CLEAVELAND R SMOLKA SA ALUR R BAETEN J BERGSTRA JA BEST E DENICOLA R GILL H GORRIERI R GOUDA MG GROOTE JF HENZINGER TA HOARE CAR LUGINBUHL D MEYER A MILLER D MISRA J MOLLER F MONTANARI U PNUELI A PRASAD S PRATT VR SIFAKIS J SMOLKACHAIR SA STEFFEN B THOMSEN B VAANDRAGER F VARDI M WOLPER P
Citation: R. Cleaveland et al., STRATEGIC DIRECTIONS IN CONCURRENCY RESEARCH, ACM computing surveys, 28(4), 1996, pp. 607-625
AXIOMATIZING PROBABILISTIC PROCESSES - ACP WITH GENERATIVE PROBABILITIES
Authors: BAETEN JCM BERGSTRA JA SMOLKA SA
Citation: Jcm. Baeten et al., AXIOMATIZING PROBABILISTIC PROCESSES - ACP WITH GENERATIVE PROBABILITIES, Information and computation, 121(2), 1995, pp. 234-255
REACTIVE, GENERATIVE, AND STRATIFIED MODELS OF PROBABILISTIC PROCESSES
Authors: VANGLABBEEK RJ SMOLKA SA STEFFEN B
Citation: Rj. Vanglabbeek et al., REACTIVE, GENERATIVE, AND STRATIFIED MODELS OF PROBABILISTIC PROCESSES, Information and computation, 121(1), 1995, pp. 59-80
ON THE COMPUTATIONAL-COMPLEXITY OF BISIMULATION
Authors: MOLLER F SMOLKA SA
Citation: F. Moller et Sa. Smolka, ON THE COMPUTATIONAL-COMPLEXITY OF BISIMULATION, ACM computing surveys, 27(2), 1995, pp. 287-289
ON RANDOMIZATION IN SEQUENTIAL AND DISTRIBUTED ALGORITHMS
Authors: GUPTA R SMOLKA SA BHASKAR S
Citation: R. Gupta et al., ON RANDOMIZATION IN SEQUENTIAL AND DISTRIBUTED ALGORITHMS, ACM computing surveys, 26(1), 1994, pp. 7-86
COORDINATING 1ST-ORDER MULTIPARTY INTERACTIONS
Authors: JOUNG YJ SMOLKA SA
Citation: Yj. Joung et Sa. Smolka, COORDINATING 1ST-ORDER MULTIPARTY INTERACTIONS, ACM transactions on programming languages and systems, 16(3), 1994, pp. 954-985
Risultati: 1-9 |