Browse by CSA Technical Report - IMT Institutional Repository

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title>Browse by CSA Technical Report - IMT Institutional Repository</title> <link rel="icon" href="/favicon.ico" type="image/x-icon" /> <link rel="shortcut icon" href="/favicon.ico" type="image/x-icon" /> <link rel="Top" href="http://eprints.imtlucca.it/" /> <link rel="Sword" href="https://eprints.imtlucca.it/sword-app/servicedocument" /> <link rel="SwordDeposit" href="https://eprints.imtlucca.it/id/contents" /> <link rel="Search" type="text/html" href="http://eprints.imtlucca.it/cgi/search" /> <link rel="Search" type="application/opensearchdescription+xml" href="http://eprints.imtlucca.it/cgi/opensearchdescription" title="IMT Institutional Repository" /> <script type="text/javascript"> // <![CDATA[ var eprints_http_root = "http:\/\/eprints.imtlucca.it"; var eprints_http_cgiroot = "http:\/\/eprints.imtlucca.it\/cgi"; var eprints_oai_archive_id = "eprints.imtlucca.it"; var eprints_logged_in = false; // ]]></script> <style type="text/css">.ep_logged_in { display: none }</style> <link rel="stylesheet" type="text/css" href="/style/auto-3.3.16.css" /> <script type="text/javascript" src="/javascript/auto-3.3.16.js"></script>  <meta name="Generator" content="EPrints 3.3.16" /> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> <meta http-equiv="Content-Language" content="en" /> <script type="text/x-mathjax-config"> MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\$','\$']]}}); </script> <script type="text/javascript" src="//cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> </head> <body bgcolor="#f5f5f5" text="#000000"> <div class="ep_tm_header ep_noprint">   <div class="ep_tm_logo"><a href="http://www.imtlucca.it"><img alt="Logo IMT" src="/images/logowhite.png" /></a></div> <div class="ep_tm_logoeprints"><img alt="Logo eprints" src="/images/eprintlogo.png" /></div> <ul class="ep_tm_menu"> <li><a href="http://eprints.imtlucca.it">Home</a></li>  <li> <a href="http://eprints.imtlucca.it/view/" menu="ep_tm_menu_browse"> Browse </a> <ul id="ep_tm_menu_browse" style="display:none;"> <li> <a href="http://eprints.imtlucca.it/view/year/"> Browse by Year </a> </li> <li> <a href="http://eprints.imtlucca.it/view/subjects/"> Browse by Subject </a> </li> <li> <a href="http://eprints.imtlucca.it/view/divisions/"> Browse by Research Areas </a> </li> <li> <a href="http://eprints.imtlucca.it/view/creators/"> Browse by Author </a> </li> </ul> </li> <li> <a href="" menu="wp">Working papers</a> <ul id="wp" style="display:none;"> <li> <a href="http://eprints.imtlucca.it/view/eicwp/imt=5Feic=5Fworking=5Fpaper.html"> EIC working paper series </a> </li> <li> <a href="http://eprints.imtlucca.it/WPUM.pdf"> Working Paper User Manual </a> </li> </ul> </li> <li> <a href="" menu="tr">Technical Report</a> <ul id="tr" style="display:none;"> <li> <a href="http://eprints.imtlucca.it//view/cstr/imt=5Fcs=5Ftechninal=5Freport.html"> CSA Technical Report </a> </li> <li> <a href="http://eprints.imtlucca.it/TRUG.pdf"> Technical Report User Manual </a> </li> </ul> </li> </ul> <table class="ep_tm_searchbar" border="0" cellpadding="0" cellspacing="0" width="100%"> <tr> <td align="left"><ul class="ep_tm_key_tools" id="ep_tm_menu_tools"><li><a href="http://eprints.imtlucca.it/cgi/users/home">Login</a></li><li><a href="/cgi/register">Create Account</a></li></ul></td> <td align="right" style="white-space: nowrap"> <form method="get" accept-charset="utf-8" action="http://eprints.imtlucca.it/cgi/search" style="display:inline"> <input class="ep_tm_searchbarbox" size="20" type="text" name="q" /> <input class="ep_tm_searchbarbutton" value="Search" type="submit" name="_action_search" /> <input type="hidden" name="_action_search" value="Search" /> <input type="hidden" name="_order" value="bytitle" /> <input type="hidden" name="basic_srchtype" value="ALL" /> <input type="hidden" name="_satisfyall" value="ALL" /> </form> </td> </tr> </table> </div> <div align="center"> <table width="720" class="ep_tm_main"><tr><td align="left"> <h1 class="ep_tm_pagetitle">Browse by CSA Technical Report</h1> <table><tr><td><a href="./"><img src="/style/images/multi_up.png" border="0" /></a></td><td><a href="./">Up a level</a></td></tr></table><form method="get" accept-charset="utf-8" action="http://eprints.imtlucca.it/cgi/exportview"> <table width="100%"><tr> <td align="left">Export as <select name="format"><option value="Text">ASCII Citation</option><option value="BibTeX">BibTeX</option><option value="DC">Dublin Core</option><option value="XML">EP3 XML</option><option value="EndNote">EndNote</option><option value="HTML">HTML Citation</option><option value="JSON">JSON</option><option value="METS">METS</option><option value="CSV">Multiline CSV</option><option value="Ids">Object IDs</option><option value="ContextObject">OpenURL ContextObject</option><option value="RDFNT">RDF+N-Triples</option><option value="RDFN3">RDF+N3</option><option value="RDFXML">RDF+XML</option><option value="Refer">Refer</option><option value="RIS">Reference Manager</option></select><input type="submit" name="_action_export_redir" value="Export" class="ep_form_action_button" /><input name="view" id="view" value="cstr" type="hidden" /><input name="values" id="values" value="imt=5Fcs=5Ftechninal=5Freport" type="hidden" /></td> <td align="right"> <span class="ep_search_feed"><a href="http://eprints.imtlucca.it/cgi/exportview/cstr/imt=5Fcs=5Ftechninal=5Freport/Atom/imt=5Fcs=5Ftechninal=5Freport.xml"><img src="/style/images/feed-icon-14x14.png" alt="[feed]" border="0" /></a> <a href="http://eprints.imtlucca.it/cgi/exportview/cstr/imt=5Fcs=5Ftechninal=5Freport/Atom/imt=5Fcs=5Ftechninal=5Freport.xml">Atom</a></span> <span class="ep_search_feed"><a href="http://eprints.imtlucca.it/cgi/exportview/cstr/imt=5Fcs=5Ftechninal=5Freport/RSS/imt=5Fcs=5Ftechninal=5Freport.rss"><img src="/style/images/feed-icon-14x14.png" alt="[feed]" border="0" /></a> <a href="http://eprints.imtlucca.it/cgi/exportview/cstr/imt=5Fcs=5Ftechninal=5Freport/RSS/imt=5Fcs=5Ftechninal=5Freport.rss">RSS 1.0</a></span> <span class="ep_search_feed"><a href="http://eprints.imtlucca.it/cgi/exportview/cstr/imt=5Fcs=5Ftechninal=5Freport/RSS2/imt=5Fcs=5Ftechninal=5Freport.xml"><img src="/style/images/feed-icon-14x14.png" alt="[feed]" border="0" /></a> <a href="http://eprints.imtlucca.it/cgi/exportview/cstr/imt=5Fcs=5Ftechninal=5Freport/RSS2/imt=5Fcs=5Ftechninal=5Freport.xml">RSS 2.0</a></span></td> </tr> <tr> <td align="left" colspan="2"> </td> </tr> </table> </form><div class="ep_view_page ep_view_page_view_cstr"><div class="ep_view_blurb">Number of items: <strong>12</strong>.</div><p> <span class="person_name">Mazzoni, Leonardo</span> and <span class="person_name">Costa, Gabriele</span> <a href="http://eprints.imtlucca.it/4084/"><em>Value creation mechanisms of cloud computing: a conceptual framework.</em></a> CSA Technical Report #12/2022 IMT School for Advanced Studies Lucca </p><p> <span class="person_name">Paggi, Marco</span> <a href="http://eprints.imtlucca.it/4076/"><em>Simulation of Covid-19 epidemic evolution: are compartmental models really predictive?</em></a> CSA Technical Report #11/2020 IMT School for Advanced Studies Lucca , Lucca. </p><p> <span class="person_name">Abd Alrahman, Yehia Moustafa</span> and <span class="person_name">De Nicola, Rocco</span> and <span class="person_name">Loreti, Michele</span> <a href="http://eprints.imtlucca.it/2729/"><em>On Expressiveness and Behavioural Theory of Attribute-based Communication.</em></a> CSA Technical Report #10/2015 IMT Institute for Advanced Studies Lucca (Submitted) </p><p> <span class="person_name">De Nicola, Rocco</span> and <span class="person_name">Iacobelli, Giulio</span> and <span class="person_name">Tribastone, Mirco</span> <a href="http://eprints.imtlucca.it/1655/"><em>Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction.</em></a> CSA Technical Report #9/2013 IMT Institute for Advanced Studies Lucca </p><p> <span class="person_name">Kolesnichenko, Anna</span> and <span class="person_name">Pourranjabar, Alireza</span> and <span class="person_name">Senni, Valerio</span> <a href="http://eprints.imtlucca.it/1620/"><em>Applying Mean-field Approximation to Continuous Time Markov Chains.</em></a> CSA Technical Report #8/2013 IMT Institute for Advanced Studies Lucca </p><p> <span class="person_name">Karamshuk, Dmytro</span> and <span class="person_name">Boldrini, Chiara</span> and <span class="person_name">Conti, Marco</span> and <span class="person_name">Passarella, Andrea</span> <a href="http://eprints.imtlucca.it/1588/"><em>SPoT: Representing the Social, Spatial, and Temporal Dimensions of Human Mobility with a Unifying Framework.</em></a> CSA Technical Report #7/2013 IMT Institute for Advanced Studies Lucca </p><p> <span class="person_name">Bernardo, Marco</span> and <span class="person_name">De Nicola, Rocco</span> and <span class="person_name">Loreti, Michele</span> <a href="http://eprints.imtlucca.it/1553/"><em>Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes.</em></a> CSA Technical Report #06/2013 IMT Institute for Advanced Studies Lucca </p><p> <span class="person_name">Celestini, Alessandro</span> and <span class="person_name">De Nicola, Rocco</span> and <span class="person_name">Tiezzi, Francesco</span> <a href="http://eprints.imtlucca.it/1537/"><em>Network-aware Evaluation Environment for Reputation Systems.</em></a> CSA Technical Report #05/2013 IMT Institute for Advanced Studies Lucca </p><p> <span class="person_name">Bernardo, Marco</span> and <span class="person_name">De Nicola, Rocco</span> and <span class="person_name">Loreti, Michele</span> <a href="http://eprints.imtlucca.it/1523/"><em>Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.</em></a> CSA Technical Report #04/2013 IMT Institute for Advanced Studies Lucca </p><p> <span class="person_name">Boreale, Michele</span> and <span class="person_name">Bruni, Roberto</span> and <span class="person_name">De Nicola, Rocco</span> and <span class="person_name">Loreti, Michele</span> <a href="http://eprints.imtlucca.it/1493/"><em>CaSPiS: A Calculus of Sessions, Pipelines and Services.</em></a> CSA Technical Report #03/2013 IMT Institute for Advanced Studies Lucca </p><p> <span class="person_name">Bernardo, Marco</span> and <span class="person_name">De Nicola, Rocco</span> and <span class="person_name">Loreti, Michele</span> <a href="http://eprints.imtlucca.it/1323/"><em>A uniform framework for modelling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences.</em></a> CSA Technical Report #02/2012 IMT Institute for Advanced Studies Lucca </p><p> <span class="person_name">De Nicola, Rocco</span> and <span class="person_name">Latella, Diego</span> and <span class="person_name">Loreti, Michele</span> and <span class="person_name">Massink, Mieke</span> <a href="http://eprints.imtlucca.it/1322/"><em>A uniform definition of stochastic process calculi.</em></a> CSA Technical Report #01/2012 IMT Institute for Advanced Studies Lucca </p><div class="ep_view_timestamp">This list was generated on <strong>Mon Feb 17 10:01:24 2025 CET</strong>.</div></div> </td></tr></table> </div> <div class="ep_tm_footer ep_noprint">  <hr class="ep_tm_last" /> <div style="float: right; margin-left: 1em"><a href="http://eprints.org/software/"><img alt="EPrints Logo" src="/images/eprintslogo.gif" border="0" /></a></div> <div style="font-size: 80%;"> <div>IMT Institutional Repository is powered by <em><a href="http://eprints.org/software/">EPrints 3</a></em> which is developed by the <a href="http://www.ecs.soton.ac.uk/">School of Electronics and Computer Science</a> at the University of Southampton. <a href="http://eprints.imtlucca.it/eprints/">More information and software credits</a>.</div> </div> </div> </body> </html>

CINXE.COM

Browse by CSA Technical Report - IMT Institutional Repository