Università degli Studi dell'Insubria Insubria Space
 

InsubriaSPACE - Thesis PhD Repository >
Insubria Thesis Repository >
01 - Tesi di dottorato >

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10277/314

Autori: De Francesco Albasini, Luisa Flavia Maria Giovanna
Tutor interno: WALTERS, ROBERT F.C.
SABADINI, NICOLETTA
Titolo: Categorical algebras for the compositional construction of probabilistic and distributed systems.
Abstract: Structured transition systems have been widely used in the formal specification of computing systems, including concurrent and probabilistic systems. In this thesis we extend the span of graphs algebra introduced in [40] to describe concurrent systems in a compositional way, in order to model probabilistic distributed systems. The span algebra of [40] may be regarded as an extension of various automata models of computation based on distributed automata. With the introduction of both parallel and sequential operations, this extension allows the compositional description of concurrent, distributed and mobile systems. An important aspect of span graph model is that there is also a geometric characterization associated with the algebra along the lines of Penrose’s algebra of tensors. The algebra of transition systems we describe is a well-supported compact closed category - a symmetric monoidal category for which every object has a separable algebra structure (satisfying Frobenius equation) - whose arrows are automata in which the actions have probabilities. The operations of the category permit the compositional description of probabilistic processes and in particular of classical finite Markov chains. The systems we can model with our algebra are distributed, hierarchical and with an evolving geometry. We also extend the span algebra of [40] in order to permit the inclusion of quantum components. Again, this algebra is a well-supported compact closed category. This extension permits a compositional description of quantum protocols, in which quantum components interact with classical finite state components. In our view, the inclusion of explicit components of finite state classical control adds conceptual clarity and precision to quantum protocols.
Parole chiave: Classical automaton, weighted automaton, monoidal category, span, probabilistic automaton, Markov chain, compositionality, quantum automaton, compact closed, Frobenius equations, teleportation
MIUR : INF/01 INFORMATICA
Data: 2011
Lingua: en
Corso di dottorato: Matematica del Calcolo: Modelli, Strutture, Algoritmi e Applicazioni
Ciclo di dottorato: 23
Università di conseguimento titolo: Università degli Studi dell'Insubria
Citazione: De Francesco Albasini, L.F.M.G.Categorical algebras for the compositional construction of probabilistic and distributed systems. (Doctoral Thesis, Università degli Studi dell'Insubria, 2011).

Full text:

File Descrizione DimensioniFormatoConsultabilità
Phd_thesis_defrancescoalbasini.pdftesto completo tesi984,56 kBAdobe PDFVisualizza/apri


Tutti i documenti archiviati in InsubriaSPACE sono protetti da copyright. Tutti i diritti riservati.


Segnala questo record su
Del.icio.us

Citeulike

Connotea

Facebook

Stumble it!

reddit


 

  ICT Support, development & maintenance are provided by the AePIC team @ CILEA. Powered on DSpace Software.  Feedback