- SHReQ: Coordinating Application Level QoS Dan Hirsch Emilio Tuosto
- Electronic Notes in Theoretical Computer Science 54 (2001) URL: http://www.elsevier.nl/locate/entcs/volume54.html 9 pages
- Modelling Fusion calculus using HDautomata # Gianluigi Ferrari 1 , Ugo Montanari 1 , Emilio Tuosto 1 , Bjorn Victor 2 , and
- Modelling Fusion calculus using HD-automata Gianluigi Ferrari1
- Universit a di Pisa Dipartimento di Informatica
- A Formal Basis for Reasoning on Programmable QoS #
- An Observational Model for Spatial Logics Emilio Tuosto a
- Universit a di Pisa Dipartimento di Informatica
- Universit`a degli Studi di Pisa Facolt`a di Scienze Matematiche Fisiche e Naturali
- QAPL 2004 Preliminary Version Tarzan: Communicating and Moving
- Veri cation on the WEB Gianluigi Ferrari 1 , Stefania Gnesi 2
- Foundational Calculi for Network Aware Programming
- ASPASyA: an Automated tool for Security Protocol Analysis based on a Symbolic Approach
- Universit a degli Studi di Pisa Facolt a di Scienze Matematiche Fisiche e Naturali
- A Magic Approach to the Analysis of Security Protocols
- Synchronized Hyperedge Replacement for Heterogeneous Systems #
- Modular Verification of Systems via Service Coordination #
- A Coordinationbased Methodology for Security Protocol Verification
- Graphbased Models of Internetworking Gianluigi Ferrari, Ugo Montanari, and Emilio Tuosto
- Calculi for Network Aware Programming (Extended Abstract)
- Model Checking for Nominal Calculi # Gianluigi Ferrari, Ugo Montanari, and Emilio Tuosto
- History Dependent Automata for Service Compatibility
- Polyadic History-Dependent Automata for the Fusion Calculus
- Event-based Service Coordination Gianluigi Ferrari1
- A Basic Calculus for Modeling Service Level Rocco De Nicola1
- Polyadic HistoryDependent Automata for the Fusion Calculus #
- Universit a di Pisa Dipartimento di Informatica
- QAPL 2004 Preliminary Version Tarzan: Communicating and Moving
- Synchronized Hyperedge Replacement for Heterogeneous Systems
- A Basic Calculus for Modeling Service Level Agreement #
- Coalgebraic Minimisation of HDAutomata for the #calculus Using Polymorphic Types #
- A Debugging Calculus for Mobile Ambients GianLuigi Ferrari Emilio Tuosto
- From Theory to Practice in Transactional Composition of Web Services
- Model Checking for Nominal Calculi Gianluigi Ferrari, Ugo Montanari, and Emilio Tuosto
- Calculi for Network Aware Programming (Extended Abstract)
- Coordination via Types in an Event-based Gianluigi Ferrari1
- A Formal Basis for Reasoning on Programmable QoS
- Universit`a di Pisa Dipartimento di Informatica
- Coalgebraic Minimisation of HD-Automata for the -calculus Using Polymorphic Types
- International Journal of Information Security manuscript No. (will be inserted by the editor)
- An Observational Model for Spatial Logics Emilio Tuosto a
- A Coordination-based Methodology for Security Protocol Verification
- TOWARDAFORMALSEMANTICSFORAUTONOMIC Marco Aldinucci
- SHReQ: Coordinating Application Level QoS Dan Hirsch Emilio Tuosto
- Graph-based Models of Internetworking Gianluigi Ferrari, Ugo Montanari, and Emilio Tuosto
- Universit`a di Pisa Dipartimento di Informatica
- Modular Verification of Systems via Service Coordination
- ASPASyA: an Automated tool for Security Protocol Analysis based on a Symbolic Approach
- Security and dynamic compositions of open systems A. Bracciali A. Brogi G. Ferrari y E. Tuosto y
- Formal intruder identikit for open security protocols
- The Klaim Project: Theory and Practice # Lorenzo Bettini 1 , Viviana Bono 2 , Rocco De Nicola 1 , Gianluigi Ferrari 3 , Daniele Gorla 1 , Michele
- A novel class of automata for languages on infinite Vincenzo Ciancia1 and Emilio Tuosto2
- From Theory to Practice in Transactional Composition of Web Services
- Universit`a di Pisa Dipartimento di Informatica
- From Coalgebraic Specifications to Implementation: The Mihda toolkit #
- A Coordination-based Methodology for Security Protocol Verification
- Multiparty sessions in SOC Roberto Bruni1
- EPTCS ??, 20??, pp. 1??. c Please \def\authorrunning
- Submitted to: Amending Contracts for Choreographies
- Testing Attribute-Based Transactions in SOC Laura Bocchi and Emilio Tuosto
- Bliudze, S., Bruni, R., Carbone, M., Silva, A. (Eds.); ICE 2011 EPTCS ??, 2011, pp. 118, doi:10.4204/EPTCS.??.??
- K. Honda and A. Mycroft (Eds.): Programming Language Approaches to Concurrency and communication-cEntric
- A Java Inspired Semantics for Transactions in SOC Laura Bocchi and Emilio Tuosto
- Refactoring Long Running Transactions: A Case Study Gianluigi Ferrari1, Roberto Guanciale1, Daniele Strollo1, and Emilio Tuosto2
- On Nominal Regular Languages with Binders Extended version
