Hernán C. Melgratti

According to our database1, Hernán C. Melgratti
  • authored at least 38 papers between 2003 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Chaperone contracts for higher-order sessions.
PACMPL, 2017

Concurrency and Probability: Removing Confusion, Compositionally.
CoRR, 2017

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

2016
Multiparty testing preorders.
CoRR, 2016

A Formal Analysis of the Global Sequence Protocol.
Proceedings of the Coordination Models and Languages, 2016

2015
On the behaviour of general purpose applications on cloud storages.
Service Oriented Computing and Applications, 2015

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

2014
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

2013
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

2011
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

2010
Contracts for Abstract Processes in Service Composition
Proceedings of the Proceedings Foundations for Interface Technologies, 2010

2009
Abstract Processes in Orchestration Languages.
Proceedings of the Programming Languages and Systems, 2009

2008
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

2007
Prototype Platforms for Distributed Agreements.
Electr. Notes Theor. Comput. Sci., 2007

Transactional Service Level Agreement.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

2006
Event Structure Semantics for Dynamic Graph Grammars.
ECEASST, 2006

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

2005
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

2004
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

2003
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003


  Loading...