Browse by CSA Technical Report
Number of items: 12. Mazzoni, Leonardo and Costa, Gabriele Value creation mechanisms of cloud computing: a conceptual framework. CSA Technical Report #12/2022 IMT School for Advanced Studies Lucca Paggi, Marco Simulation of Covid-19 epidemic evolution: are compartmental models really predictive? CSA Technical Report #11/2020 IMT School for Advanced Studies Lucca , Lucca. Abd Alrahman, Yehia Moustafa and De Nicola, Rocco and Loreti, Michele On Expressiveness and Behavioural Theory of Attribute-based Communication. CSA Technical Report #10/2015 IMT Institute for Advanced Studies Lucca (Submitted) De Nicola, Rocco and Iacobelli, Giulio and Tribastone, Mirco Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. CSA Technical Report #9/2013 IMT Institute for Advanced Studies Lucca Kolesnichenko, Anna and Pourranjabar, Alireza and Senni, Valerio Applying Mean-field Approximation to Continuous Time Markov Chains. CSA Technical Report #8/2013 IMT Institute for Advanced Studies Lucca Karamshuk, Dmytro and Boldrini, Chiara and Conti, Marco and Passarella, Andrea SPoT: Representing the Social, Spatial, and Temporal Dimensions of Human Mobility with a Unifying Framework. CSA Technical Report #7/2013 IMT Institute for Advanced Studies Lucca Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. CSA Technical Report #06/2013 IMT Institute for Advanced Studies Lucca Celestini, Alessandro and De Nicola, Rocco and Tiezzi, Francesco Network-aware Evaluation Environment for Reputation Systems. CSA Technical Report #05/2013 IMT Institute for Advanced Studies Lucca Bernardo, Marco and De Nicola, Rocco and Loreti, Michele Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. CSA Technical Report #04/2013 IMT Institute for Advanced Studies Lucca Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele CaSPiS: A Calculus of Sessions, Pipelines and Services. CSA Technical Report #03/2013 IMT Institute for Advanced Studies Lucca Bernardo, Marco and De Nicola, Rocco and Loreti, Michele A uniform framework for modelling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. CSA Technical Report #02/2012 IMT Institute for Advanced Studies Lucca De Nicola, Rocco and Latella, Diego and Loreti, Michele and Massink, Mieke A uniform definition of stochastic process calculi. CSA Technical Report #01/2012 IMT Institute for Advanced Studies Lucca |
