Download the complete article:

@phdthesis{TC2013,
  school = {Queen Mary, University of London},
  tag = {Queen Mary, University of London},
  abstract = {Large-scale distributed systems and distributed computing are the
              pillars of IT infrastructure and society nowadays. Robust
              theoretical principles for designing, building, managing and
              understanding the interactive behaviours of such systems need to
              be explored. A promising approach for establishing such principles
              is to view the session as the key unit for design, execution and
              verification. {\em Governance} is a general term for verifying
              whether activities meet the specified requirements and for
              enforcing safe behaviours among processes. This thesis,
              incorporating lessons from my participation in a substantial
              practical project, the Ocean Observatories Initiative (OOI),
              proposes an asynchronous monitoring framework and the process
              calculus for dynamically governing the asynchronous interactions
              among distributed multiple applications. We prove that this
              monitoring model guarantees the satisfaction of global assertions,
              and state and prove theorems of local and global safety,
              transparency, and session fidelity. We also study and introduce
              the semantic mechanisms for runtime session-based governance and
              the principles of validation of {\em stateful} specifications
              through capturing the runtime asynchronous interactions.},
  localfile = {http://www.di.unito.it/~chen/papers/Thesis_TChen_final.pdf},
  title = {Theories for Session-based Governance for Large-scale Distributed
           Systems},
  author = {Tzu-chun Chen},
  year = {2013},
}

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)