| Login | Create Account |
Items where Author is "Montangero, Carlo"
Group by: Item Type | No Grouping Jump to: Book Number of items: 9. BookFantini, Paola and Montangero, Carlo and Palasciano, Claudio and Reiff-Marganiec, Stephan and Semini, Laura (2008) Supporting user-friendly design of flexible Business Processes in StPowla. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Ferrari, Gianluigi and Montangero, Carlo and Semini, Laura and Semprini, Simone (2003) The Mob-adtl Model and Method to Design Network Aware Applications. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Montangero, Carlo and Semini, Laura (2002) Distributed States Logic. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Semini, Laura and Montangero, Carlo (1999) A Logic with Modalities for Asynchronous Distributed Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Semini, Laura and Montangero, Carlo (1999) Modalities for Asynchronous Distributed Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Montangero, Carlo and Semini, Laura (1998) Composing specifications for coordination. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Semini, Laura and Montangero, Carlo (1997) A Refinement Calculus for Tuple Spaces. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Boraso, M. and Montangero, Carlo and Sedehi, H. (1996) Software Cost Estimation: an experimental study of model performances. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Montangero, Carlo and Semini, Laura (1996) Applying Refinement Calculi to Software Process Modelling. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. |
