AAAAAA

   
Results: 1-13 |
Results: 13
A FORMAL APPROACH TO THE INTEGRATION OF PERFORMANCE ASPECTS IN THE MODELING AND ANALYSIS OF CONCURRENT SYSTEMS
Authors: BERNARDO M DONATIELLO L GORRIERI R
Citation: M. Bernardo et al., A FORMAL APPROACH TO THE INTEGRATION OF PERFORMANCE ASPECTS IN THE MODELING AND ANALYSIS OF CONCURRENT SYSTEMS, Information and computation (Print), 144(2), 1998, pp. 83-154
A TUTORIAL ON EMPA - A THEORY OF CONCURRENT PROCESSES WITH NONDETERMINISM, PRIORITIES, PROBABILITIES AND TIME
Authors: BERNARDO M GORRIERI R
Citation: M. Bernardo et R. Gorrieri, A TUTORIAL ON EMPA - A THEORY OF CONCURRENT PROCESSES WITH NONDETERMINISM, PRIORITIES, PROBABILITIES AND TIME, Theoretical computer science, 202(1-2), 1998, pp. 1-54
THEORETICAL ASPECTS OF COORDINATION LANGUAGES
Authors: GORRIERI R HANKIN C
Citation: R. Gorrieri et C. Hankin, THEORETICAL ASPECTS OF COORDINATION LANGUAGES, Theoretical computer science, 192(2), 1998, pp. 163-165
A PROCESS ALGEBRAIC VIEW OF LINDA COORDINATION PRIMITIVES
Authors: BUSI N GORRIERI R ZAVATTARO G
Citation: N. Busi et al., A PROCESS ALGEBRAIC VIEW OF LINDA COORDINATION PRIMITIVES, Theoretical computer science, 192(2), 1998, pp. 167-199
COORDINATION MODELS, LANGUAGES AND ARCHITECTURES
Authors: CIANCARINI P GORRIERI R
Citation: P. Ciancarini et R. Gorrieri, COORDINATION MODELS, LANGUAGES AND ARCHITECTURES, Science of computer programming, 31(2-3), 1998, pp. 175-177
THE COMPOSITIONAL SECURITY CHECKER - A TOOL FOR THE VERIFICATION OF INFORMATION-FLOW SECURITY PROPERTIES
Authors: FOCARDI R GORRIERI R
Citation: R. Focardi et R. Gorrieri, THE COMPOSITIONAL SECURITY CHECKER - A TOOL FOR THE VERIFICATION OF INFORMATION-FLOW SECURITY PROPERTIES, IEEE transactions on software engineering, 23(9), 1997, pp. 550-571
PERFORMANCE PREORDER AND COMPETITIVE EQUIVALENCE
Authors: CORRADINI F GORRIERI R ROCCETTI M
Citation: F. Corradini et al., PERFORMANCE PREORDER AND COMPETITIVE EQUIVALENCE, Acta informatica, 34(11), 1997, pp. 805-835
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
A CAUSAL OPERATIONAL SEMANTICS OF ACTION REFINEMENT
Authors: DEGANO P GORRIERI R
Citation: P. Degano et R. Gorrieri, A CAUSAL OPERATIONAL SEMANTICS OF ACTION REFINEMENT, Information and computation, 122(1), 1995, pp. 97-119
SPLIT AND ST BISIMULATION SEMANTICS
Authors: GORRIERI R LANEVE C
Citation: R. Gorrieri et C. Laneve, SPLIT AND ST BISIMULATION SEMANTICS, Information and computation, 118(2), 1995, pp. 272-288
ON THE IMPLEMENTATION OF CONCURRENT CALCULI IN NET CALCULI - 2 CASE-STUDIES
Authors: GORRIERI R MONTANARI U
Citation: R. Gorrieri et U. Montanari, ON THE IMPLEMENTATION OF CONCURRENT CALCULI IN NET CALCULI - 2 CASE-STUDIES, Theoretical computer science, 141(1-2), 1995, pp. 195-252
A THEORY OF PROCESSES WITH DURATIONAL ACTIONS
Authors: GORRIERI R ROCCETTI M STANCAMPIANO E
Citation: R. Gorrieri et al., A THEORY OF PROCESSES WITH DURATIONAL ACTIONS, Theoretical computer science, 140(1), 1995, pp. 73-94
A DISTRIBUTED SEMANTICS FOR EMPA BASED ON STOCHASTIC CONTEXTUAL NETS
Authors: BERNARDO M BUSI N GORRIERI R
Citation: M. Bernardo et al., A DISTRIBUTED SEMANTICS FOR EMPA BASED ON STOCHASTIC CONTEXTUAL NETS, Computer journal, 38(7), 1995, pp. 492-509
Risultati: 1-13 |