| Login | Create Account |
Items where Author is "Semini, Laura"
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. Amato, Gianluca and Coppola, Massimo and Gnesi, Stefania and Scozzari, Francesca and Semini, Laura (2005) Modeling Web Applications by the Multiple Levels of Integrity Policy. 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. Montangero, Carlo and Semini, Laura (1996) Applying Refinement Calculi to Software Process Modelling. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. |
