Hernán C. Melgratti
According to our database1, Hernán C. Melgratti authored at least 38 papers between 2003 and 2018.
Legend:Book In proceedings Article PhD thesis Other
On the semantics and implementation of replicated data types.
Sci. Comput. Program., 2018
Event Structures for Petri nets with Persistence.
Logical Methods in Computer Science, 2018
Concurrency and Probability: Removing Confusion, Compositionally.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Chaperone contracts for higher-order sessions.
5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017).
Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017
A Denotational View of Replicated Data Types.
Proceedings of the Coordination Models and Languages, 2017
A Formal Analysis of the Global Sequence Protocol.
Proceedings of the Coordination Models and Languages, 2016
cJoin: Join with communicating transactions.
Mathematical Structures in Computer Science, 2015
Multiparty Testing Preorders.
Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015
A Normal Form for Stateful Connectors.
Proceedings of the Logic, Rewriting, and Concurrency, 2015
From Hierarchical BIP to Petri Calculus.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014
Resolving Non-determinism in Choreographies.
Proceedings of the Programming Languages and Systems, 2014
Behaviour, Interaction and Dynamics.
Proceedings of the Specification, Algebra, and Software, 2014
Connector algebras for C/E and P/T nets' interactions.
Logical Methods in Computer Science, 2013
On the Behaviour of General-Purpose Applications on Cloud Storages.
Proceedings of the Web Services and Formal Methods - 10th International Workshop, 2013
On Correlation Sets and Correlation Exceptions in ActiveBPEL.
Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011
A Survey on Basic Connectors and Buffers.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011
Connector Algebras, Petri Nets, and BIP.
Proceedings of the Perspectives of Systems Informatics, 2011
A Connector Algebra for P/T Nets Interactions.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
Contracts for Abstract Processes in Service Composition
Proceedings of the Proceedings Foundations for Interface Technologies, 2010
Abstract Processes in Orchestration Languages.
Proceedings of the Programming Languages and Systems, 2009
Modelling Dynamic Software Architectures using Typed Graph Grammars.
Electr. Notes Theor. Comput. Sci., 2008
Multiparty Sessions in SOC.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008
Synchronous Multiparty Synchronizations and Transactions.
Proceedings of the Concurrency, 2008
Prototype Platforms for Distributed Agreements.
Electr. Notes Theor. Comput. Sci., 2007
Transactional Service Level Agreement.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007
Event Structure Semantics for Dynamic Graph Grammars.
Translating Orc Features into Petri Nets and the Join Calculus.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006
A Fuzzy Approach for Negotiating Quality of Services.
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006
Dynamic Graph Transformation Systems.
Proceedings of the Graph Transformations, Third International Conference, 2006
Event Structure Semantics for Nominal Calculi.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006
Non-sequential Behaviour of Dynamic Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006
Theoretical foundations for compensations in flow composition languages.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005
From Theory to Practice in Transactional Composition of Web Services.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005
Comparing Two Approaches to Compensable Flow Composition.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
Flat Committed Join in Join.
Electr. Notes Theor. Comput. Sci., 2004
Nested Commits for Mobile Calculi: Extending Join.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003