Ivan Lanese

Francesco Tiezzi

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Dynamic Choreographies - Safe Runtime Updates of Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2015

The Evolution of Jolie - From Orchestrations to Adaptable Choreographies.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

2014

The stream-based service-centred calculus: a foundation for service-oriented programming.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

Causal-Consistent Reversibility.

[BibT_eX]

[DOI]

Francesco Tiezzi

Bull. EATCS, 2014

Deadlock Freedom by Construction for Distributed Adaptive Applications.

[BibT_eX]

[DOI]

CoRR, 2014

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 7th International Conference, 2014

Fault Model Design Space for Cooperative Concurrency.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Causal-Consistent Reversible Debugging.

[BibT_eX]

[DOI]

Elena Giachino

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Amending Choreographies.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, 2013

Towards Global and Local Types for Adaptation.

[BibT_eX]

[DOI]

Mario Bravetti

Marco Carbone

Thomas T. Hildebrandt

Proceedings of the Software Engineering and Formal Methods, 2013

Internet of things: a process calculus approach.

[BibT_eX]

[DOI]

Luca Bedogni

Marco Di Felice

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Concurrent Flexible Reversibility.

[BibT_eX]

[DOI]

Michael Lienhardt

Alan Schmitt

Proceedings of the Programming Languages and Systems, 2013

Decidability Results for Dynamic Installation of Compensation Handlers.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

2012

Controlled Reversibility and Compensations.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation, 4th International Workshop, 2012

A Reversible Abstract Machine and Its Space Overhead.

[BibT_eX]

[DOI]

Michael Lienhardt

Proceedings of the Formal Techniques for Distributed Systems, 2012

2011

On the expressiveness and decidability of higher-order process calculi.

[BibT_eX]

[DOI]

Inf. Comput., 2011

Graceful Interruption of Request-Response Service Interactions.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Fault in the Future.

[BibT_eX]

[DOI]

Einar Broch Johnsen

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

Controlling Reversibility in Higher-Order Pi.

[BibT_eX]

[DOI]

Alan Schmitt

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Behavioral Theory for Session-Oriented Calculi.

[BibT_eX]

[DOI]

António Ravara

Hugo Torres Vieira

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Advanced Mechanisms for Service Combination and Transactions.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Tools and Verification.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

An operational semantics for a calculus for wireless systems.

[BibT_eX]

[DOI]

Davide Sangiorgi

Theor. Comput. Sci., 2010

Static vs Dynamic SAGAs

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010

A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

A Framework for Rule-Based Dynamic Adaptation.

[BibT_eX]

[DOI]

Antonio Bucchiarone

Proceedings of the Trustworthly Global Computing - 5th International Symposium, 2010

Error Handling: From Theory to Practice.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

A Component Model for the ABS Language.

[BibT_eX]

[DOI]

Arnd Poetzsch-Heffter

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

On the Expressive Power of Primitives for Compensation Handling.

[BibT_eX]

[DOI]

Cátia Vaz

Carla Ferreira

Proceedings of the Programming Languages and Systems, 2010

Reversing Higher-Order Pi.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Dynamic Error Handling in Service Oriented Applications.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Programming Sagas in SOCK.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

On the Expressiveness of Polyadicity in Higher-Order Process Calculi.

[BibT_eX]

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

2008

Parametric synchronizations in mobile nominal calculi.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Tiles for Reo.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Contract-Driven Implementation of Choreographies.

[BibT_eX]

[DOI]

Mario Bravetti

Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

Bridging the Gap between Interaction- and Process-Oriented Choreographies.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

Dynamic Fault Handling Mechanisms for Service-Oriented Applications.

[BibT_eX]

[DOI]

Proceedings of the ECOWS 2008, 2008

Multiparty Sessions in SOC.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Synchronous Multiparty Synchronizations and Transactions.

[BibT_eX]

[DOI]

Hernán C. Melgratti

Proceedings of the Concurrency, 2008

On the interplay between fault handling and request-response service invocations.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

Mapping Fusion and Synchronized Hyperedge Replacement into logic programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2007

Concurrent and Located Synchronizations in <i>pi</i>-Calculus.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Disciplining Orchestration and Conversation in Service-Oriented Computing.

[BibT_eX]

[DOI]

Francisco Martins

António Ravara

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

2006

Synchronization Strategies for Global Computing Models.

[BibT_eX]

[DOI]

PhD thesis, 2006

A basic algebra of stateless connectors.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Exploiting User-definable Synchronizations in Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

Towards a Unifying Theory for Web Services Composition.

[BibT_eX]

[DOI]

Manuel Mazzara

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

SCC: A Service Centered Calculus.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

PRISMA: A Mobile Calculus with Parametric Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

2005

Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, 2005

Synchronised Hyperedge Replacement as a Model for Service Oriented Computing.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

Insights emerged while comparing three models for global computing.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Global Computing, 20.-25. February 2005, 2005

Synchronized Hyperedge Replacement for Heterogeneous Systems.

[BibT_eX]

[DOI]

Emilio Tuosto

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

Complete Axioms for Stateless Connectors.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

Synchronization Algebras with Mobility for Graph Transformations.

[BibT_eX]

[DOI]

Proceedings of the Workshop 3rd on the Foundations of Global Ubiquitous Computing, 2004

New Insights on Architectural Connectors.

[BibT_eX]

[DOI]

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Summary 3: On Graph(ic) Encodings.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004

2003

A Graphical Fusion Calculus.

[BibT_eX]

[DOI]