UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo
Login | Create Account

Items where Author is "Tuosto, Emilio"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Book
Number of items: 5.

Book

Aldinucci, Marco and Tuosto, Emilio (2008) Toward a Formal Semantics for Autonomic Components. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Bruni, Roberto and Lluch Lafuente, Alberto and Montanari, Ugo and Tuosto, Emilio (2007) Style-Based Architectural Reconfigurations. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Tuosto, Emilio and Vieira, Hugo Torres (2004) An Observational Model for Spatial Logics. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Montanari, Ugo and Tuosto, Emilio (2004) A Logical Framework for the spi-calculus. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

Ferrari, Gianluigi and Tuosto, Emilio (2004) Resources Negotiation in Systems of Mobile Components. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

This list was generated on Tue Apr 23 21:01:34 2024 CEST.
EPrints Logo
UnipiEprints is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.