Hernán C. Melgratti

ACM Trans. Comput. Log., 2024

A Truly Concurrent Semantics for Reversible CCS.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2024

Fair Join Pattern Matching for Actors (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2024

Fair Join Pattern Matching for Actors.

[BibT_eX]

[DOI]

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Multiparty testing preorders.

[BibT_eX]

[DOI]

Rocco De Nicola

Log. Methods Comput. Sci., 2023

Behavioural Types for Local-First Software (Artifact).

[BibT_eX]

[DOI]

Roland Kuhn

Dagstuhl Artifacts Ser., 2023

Relating Reversible Petri Nets and Reversible Event Structures, Categorically.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

Behavioural Types for Local-First Software.

[BibT_eX]

[DOI]

Roland Kuhn

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

A Petri net view of covalent bonds.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2022

Categorical specification and implementation of Replicated Data Types.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2022

Towards refinable choreographies.

[BibT_eX]

[DOI]

Ugo de'Liguoro

J. Log. Algebraic Methods Program., 2022

2021

Towards a Truly Concurrent Semantics for Reversible CCS.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 13th International Conference, 2021

A distributed operational view of Reversible Prime Event Structures.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Bayesian network semantics for Petri nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

Reversing Place Transition Nets.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2020

On Resolving Non-determinism in Choreographies.

[BibT_eX]

[DOI]

Laura Bocchi

Log. Methods Comput. Sci., 2020

Reversible Occurrence Nets and Causal Reversible Prime Event Structures.

[BibT_eX]

[DOI]

Iain Phillips

Proceedings of the Reversible Computation - 12th International Conference, 2020

Implementation Correctness for Replicated Data Types, Categorically.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

A Choreography-Driven Approach to APIs: The OpenDXL Case Study.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2020

Probabilistic Analysis of Binary Sessions.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Concurrency and Probability: Removing Confusion, Compositionally.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2019

Reversible Causal Nets and Reversible Event Structures.

[BibT_eX]

[DOI]

Iain C. C. Phillips

CoRR, 2019

A Categorical Account of Replicated Data Types.

[BibT_eX]

[DOI]

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019

Reversing P/T Nets.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2019

Data-Driven Choreographies à la Klaim.

[BibT_eX]

[DOI]

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

2018

On the semantics and implementation of replicated data types.

[BibT_eX]

[DOI]

Fabio Gadducci

Sci. Comput. Program., 2018

Event Structures for Petri nets with Persistence.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2018

Unifying Inference for Bayesian and Petri Nets.

[BibT_eX]

[DOI]

CoRR, 2018

2017

Chaperone contracts for higher-order sessions.

[BibT_eX]

[DOI]

Luca Padovani

Proc. ACM Program. Lang., 2017

5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017).

[BibT_eX]

[DOI]

Stefania Gnesi

Nico Plat

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

A Denotational View of Replicated Data Types.

[BibT_eX]

[DOI]

Fabio Gadducci

Proceedings of the Coordination Models and Languages, 2017

2016

A Formal Analysis of the Global Sequence Protocol.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2016

2015

On the behaviour of general purpose applications on cloud storages.

[BibT_eX]

[DOI]

Laura Bocchi

Serv. Oriented Comput. Appl., 2015

cJoin: Join with communicating transactions.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2015

A Normal Form for Stateful Connectors.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

From Hierarchical BIP to Petri Calculus.

[BibT_eX]

[DOI]

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Behaviour, Interaction and Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

2013

Connector algebras for C/E and P/T nets' interactions.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2013

2011

On Correlation Sets and Correlation Exceptions in ActiveBPEL.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

A Survey on Basic Connectors and Buffers.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Connector Algebras, Petri Nets, and BIP.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2011

A Connector Algebra for P/T Nets Interactions.

[BibT_eX]

[DOI]

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

2010

Contracts for Abstract Processes in Service Composition

[BibT_eX]

[DOI]

Maria Grazia Buscemi

Proceedings of the Proceedings Foundations for Interface Technologies, 2010

2009

Abstract Processes in Orchestration Languages.

[BibT_eX]

[DOI]

Maria Grazia Buscemi

Proceedings of the Programming Languages and Systems, 2009

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]

Ivan Lanese

Proceedings of the Concurrency, 2008

2007

Modelling Dynamic Software Architectures using Typed Graph Grammars.

[BibT_eX]

[DOI]

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

Transactional Service Level Agreement.

[BibT_eX]

[DOI]

Maria Grazia Buscemi

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

2006

Event Structure Semantics for Dynamic Graph Grammars.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Translating Orc Features into Petri Nets and the Join Calculus.

[BibT_eX]

[DOI]

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

A Fuzzy Approach for Negotiating Quality of Services.

[BibT_eX]

[DOI]

Davide Bacciu

Alessio Botta

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Dynamic Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, Third International Conference, 2006

Event Structure Semantics for Nominal Calculi.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

Non-sequential Behaviour of Dynamic Nets.

[BibT_eX]

[DOI]

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

Models and languages for global computing transactions.

[BibT_eX]

[DOI]

PhD thesis, 2005

Theoretical foundations for compensations in flow composition languages.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

From Theory to Practice in Transactional Composition of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

Comparing Two Approaches to Compensable Flow Composition.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

Prototype Platforms for Distributed Agreements.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004

Nested Commits for Mobile Calculi: Extending Join.

[BibT_eX]

[DOI]

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003

Flat Committed Join in Join.

[BibT_eX]

[DOI]

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.

[BibT_eX]

[DOI]