- UNIVERSIT `A DI PISA DIPARTIMENTO DI INFORMATICA
- Models for Open Transactions # Roberto Bruni and Ugo Montanari
- How to infer session types in a calculus of services and sessions #
- Tiles for Reo # Farhad Arbab 1 , Roberto Bruni 2 , Dave Clarke 3 , Ivan Lanese 4 , and Ugo Montanari 2
- Universit a di Pisa Dipartimento di Informatica
- NESTED COMMITS FOR MOBILE CALCULI: EXTENDING JOIN
- From Theory to Practice in Transactional Composition of Web Services
- Exploiting the hierarchical structure of rule-based specifications for decision planning
- Two algebraic process semantics for contextual nets
- UNIVERSIT `A DI PISA DIPARTIMENTO DI INFORMATICA
- Giornate del progetto TOSCA su Fondamenti Algebrici e Categoriali, Sintassi Astratta e Logical Frameworks -Udine -Italy -1415 June 2001
- NAPI Project Cambridge's Workshop, June 2001 A zerosafe's agenda
- CMCS 2004 Preliminary Version Modeling Fresh Names in the -calculus
- Algebraic Models for Contextual Nets Roberto Bruni 1 and Vladimiro Sassone 2
- Deriving weak bisimulation congruences from reduction systems #
- On Graph(ic) Encodings Roberto Bruni and Ivan Lanese
- A service-oriented UML profile with formal support Roberto Bruni1
- CommUnity, Tiles and Connectors Roberto Bruni
- Zero-Safe Nets: Modeling Transactions via Transition Synchronization
- ZeroSafe Nets: Composing Nets via Transition Synchronization \Lambda
- UNIVERSIT `A DI PISA DIPARTIMENTO DI INFORMATICA
- Algebraic theories for contextual pre-nets Roberto Bruni1, Jose Meseguer2, Ugo Montanari1, and Vladimiro Sassone3
- Translating Orc Features into Petri nets and the Join Calculus #
- UNIVERSIT`A DI PISA DIPARTIMENTO DI INFORMATICA
- Orchestrating Transactions in Join Calculus Roberto Bruni1, Cosimo Laneve2, and Ugo Montanari1
- Deducing Interactions in Partially Unspecified Biological Systems
- NEW INSIGHTS ON ARCHITECTURAL CONNECTORS
- On symbolic semantics for namedecorated contexts 1 Andrea Bracciali, Roberto Bruni, Alberto Lluch Lafuente 2
- Generalized Rewrite Theories ? Roberto Bruni 1;2 and Jose Meseguer 2
- Complete Axioms for Stateless Connectors # Roberto Bruni, Ivan Lanese, and Ugo Montanari
- Nonsequential behaviour of dynamic nets # Roberto Bruni and Hernan Melgratti
- Electronic Notes in Theoretical Computer Science 62 (2002) URL: http://www.elsevier.nl/locate/entcs/volume62.html 21 pages
- Electronic Notes in Theoretical Computer Science 44 No. 3(2001) URL: http://www.elsevier.nl/locate/entcs/volume44.html 18 pages
- Giornate del progetto TOSCA su Fondamenti Algebrici e Categoriali, Sintassi Astratta e Logical Frameworks Udine Italy 14--15 June 2001
- Modelling Dynamic Software Architectures using Typed Graph Grammars 1
- UNIVERSIT DIPARTIMENTO DI INFORMATICA
- Calculi for ServiceOriented Computing # Roberto Bruni
- Meet recursive session types # Roberto Bruni 1 and Leonardo Gaetano Mezzina 2
- Electronic Notes in Theoretical Computer Science 29 (1999) URL: http://www.elsevier.nl/locate/entcs/volume29.html 18 pages
- Dynamic Graph Transformation Systems # Roberto Bruni 1 and Hernan Melgratti 2
- Executable Tile Specifications for Process Calculi ?
- Electronic Notes in Theoretical Computer Science 62 (2002) URL: http://www.elsevier.nl/locate/entcs/volume62.html 21 pages
- Open ended systems, dynamic bisimulation and tile logic
- Universit` a degli Studi di Pisa Dipartimento di Informatica
- Symbolic Equivalences for Open Systems # Paolo Baldan 1 , Andrea Bracciali 2 , and Roberto Bruni 2
- NESTED COMMITS FOR MOBILE CALCULI: EXTENDING JOIN
- A Formal Support to Business and Architectural Design for Service-oriented Systems
- On symbolic semantics for name-decorated contexts1 Andrea Bracciali, Roberto Bruni, Alberto Lluch Lafuente2
- Modeling Fresh Names in the #calculus Using Abstractions #
- Universita di Pisa Dipartimento di Informatica
- GraphBased Design and Analysis of Dynamic Software Architectures #
- Towards trustworthy multiparty sessions # (extended abstract)
- Complete Axioms for Stateless Connectors Roberto Bruni, Ivan Lanese, and Ugo Montanari
- NEW INSIGHTS ON ARCHITECTURAL Roberto Bruni 1, Jose Luiz Fiadeiro 2, Ivan Lanese 1, Antonia Lopes 3 and Ugo
- Electronic Communications of the EASST Volume X (2010)
- A Graph Syntax for Processes and Services Roberto Bruni, Fabio Gadducci, and Alberto Lluch Lafuente
- Hierarchical Design Rewriting with Maude1 Roberto Bruni and Alberto Lluch Lafuente and Ugo Montanari2
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
- Graph-Based Design and Analysis of Dynamic Software Architectures
- Sessions and Pipelines for Structured Service Programming
- Architectural Design Rewriting as an Architecture Description Language
- Event Structure Semantics for Nominal Calculi Roberto Bruni1, Hernan Melgratti2, and Ugo Montanari1
- Comparing two approaches to compensable flow composition
- Bisimulation by Unification Paolo Baldan1, Andrea Bracciali2, and Roberto Bruni2
- Transactions and Zero-Safe Nets Roberto Bruni and Ugo Montanari
- Electronic Notes in Theoretical Computer Science 54(2001) URL: http://www.elsevier.nl/locate/entcs/volume54.html 11 pages
- Electronic Notes in Theoretical Computer Science 44 No. 3(2001) URL: http://www.elsevier.nl/locate/entcs/volume44.html 18 pages
- CONFER2 Workshop -Cambridge -U.K. -1415 September 2000 Tile Bisimilarity Congruences
- Cartesian Closed Double Categories, their Lambda-Notation, and the Pi-Calculus
- NAPI Project Cambridge's Workshop, June 2001 A zero-safe's agenda
- Static Analysis Techniques for Session-Oriented Lucia Acciai1
- First order and higher order tile models for open and mobile systems
- Electronic Notes in Theoretical Computer Science 71(2002) URL: http://www.elsevier.nl/locate/entcs/volume71.html 20 pages
- From Theory to Practice in Transactional Composition of Web Services #
- Generalized Rewrite Theories Roberto Bruni1,2 and Jose Meseguer2
- Pre-nets, read arcs and unfolding: a functorial presentation
- A Comparison of Petri Net Semantics under the Collective Token Philosophy
- Orchestrating Transactions in Join Calculus ? Roberto Bruni 1 , Cosimo Laneve 2 , and Ugo Montanari 1
- Tile Logic: Rewriting with sideeffects ? Roberto Bruni, 1 Jos`e Meseguer 2 and Ugo Montanari 1
- FOCLASA 2004 Preliminary Version Prototype platforms for distributed
- Static Detection of Logic Flaws in ServiceOriented Applications #
- Towards trustworthy multiparty sessions (extended abstract)
- Electronic Communications of the EASST Volume 2 (2006)
- Provably correct implementations of services Roberto Bruni1
- An Algebra of Hierarchical Graphs Roberto Bruni1
- Electronic Notes in Theoretical Computer Science 54(2001) URL: http://www.elsevier.nl/locate/entcs/volume54.html 11 pages
- Normal Forms for Partitions and Relations ? Roberto Bruni, 1 Fabio Gadducci 2 and Ugo Montanari 1
- Calculi for Service-Oriented Computing Roberto Bruni
- Technical Report: SRICSL9806 July 1998 Computer Science Laboratory, SRI International, Menlo Park
- Electronic Notes in Theoretical Computer Science 15 (1998) URL: http://www.elsevier.nl/locate/entcs/volume15.html 10 pages
- Event Structure Semantics for Nominal Calculi # Roberto Bruni 1 , Hernan Melgratti 2 , and Ugo Montanari 1
- Modeling Fresh Names in the -calculus using Abstractions
- Provably correct implementations of services # Roberto Bruni 1 , Rocco De Nicola 2 , Michele Loreti 2 , and Leonardo G. Mezzina 3
- Algebraic theories for contextual prenets ? Roberto Bruni 1 , Jose Meseguer 2 , Ugo Montanari 1 , and Vladimiro Sassone 3
- PRISMA: A Mobile Calculus with Parametric Synchronization #
- UNIVERSIT DIPARTIMENTO DI INFORMATICA
- Hierarchical Models for Service-oriented Roberto Bruni1
- Static Detection of Logic Flaws in Service-Oriented Applications
- Multiparty sessions in SOC Roberto Bruni1
- Non-sequential behaviour of dynamic nets Roberto Bruni and Hernan Melgratti
- Sessions and Pipelines for Structured Service Programming #
- ZeroSafe Nets: The Individual Token Roberto Bruni and Ugo Montanari
- Comparing two approaches to compensable flow composition
- Electronic Notes in Theoretical Computer Science 15 (1998) URL: http://www.elsevier.nl/locate/entcs/volume15.html 20 pages
- SCC: a Service Centered Calculus M. Boreale, R. Bruni, L. Caires, R. De Nicola,
- Modeling Fresh Names in the -calculus Using Abstractions
- Service Oriented Architectural Design , A. Lluch Lafuente1
- STYLE-BASED ARCHITECTURAL RECONFIGURATIONS
- CONFER2 Workshop Cambridge U.K. 14--15 September 2000 Tile Bisimilarity Congruences
- Multiparty sessions in SOC # Roberto Bruni 1 , Ivan Lanese 2 , Hernan Melgratti 3 , and Emilio Tuosto 4
- Bisimulation by Unification ? Paolo Baldan 1 , Andrea Bracciali 2 , and Roberto Bruni 2
- CoMeta Project Workshop Preliminary Version Flat Committed Join in Join 1
- On Graph(ic) Encodings Roberto Bruni and Ivan Lanese
- Cartesian Closed Double Categories, their LambdaNotation, and the PiCalculus
- Electronic Notes in Theoretical Computer Science 7 (1997) URL: http://www.elsevier.nl/locate/entcs/volume7.html 19 pages
- Universit a di Pisa Dipartimento di Informatica
- Theoretical Foundations for Compensations in Flow Composition Languages
- SCC: a Service Centered Calculus # M. Boreale, R. Bruni, L. Caires, R. De Nicola,
- Tiles for Reo Farhad Arbab1, Roberto Bruni2, Dave Clarke3, Ivan Lanese4, and Ugo Montanari2
- Universit`a di Pisa Dipartimento di Informatica
- Two algebraic process semantics for contextual nets
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines #
- Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic ?
- Prenets, read arcs and unfolding: a functorial presentation ?
- UNIVERSIT DIPARTIMENTO DI INFORMATICA
- IMPLEMENTING TILE SYSTEMS: SOME EXAMPLES FROM PROCESS CALCULI
- Transactions and ZeroSafe Nets ? Roberto Bruni and Ugo Montanari
- Electronic Notes in Theoretical Computer Science 71(2002) URL: http://www.elsevier.nl/locate/entcs/volume71.html 20 pages
- Modelling Dynamic Software Architectures using Typed Graph Grammars 1
- Dynamic Graph Transformation Systems Roberto Bruni1 and Hernan Melgratti2
- Models for Open Transactions Roberto Bruni and Ugo Montanari
- Electronic Communications of the EASST Pre-proceedings
- Deriving weak bisimulation congruences from reduction systems
- Tile Bisimilarity Congruences for Open Terms and Term Graphs ?
- Executing Transactions in Zero-Safe Nets ? Roberto Bruni and Ugo Montanari
- A 2category View for Double Categories with Shared Structure
- S####B#### A############ R############### #
- Extending the Zero-Safe approach to Coloured, Recon gurable and Dynamic Nets ?
- Translating Orc Features into Petri nets and the Join Calculus
- Symbolic Equivalences for Open Systems Paolo Baldan1
- A Comparison of Petri Net Semantics under the Collective Token Philosophy
- CoMeta Project Workshop Preliminary Version Flat Committed Join in Join 1
- CMCS 2004 Preliminary Version Modeling Fresh Names in the -calculus
