|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
A Connector Algebra for P/T Nets Interactions.  |
CONCUR  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Connector Algebras, Petri Nets, and BIP. |
Ershov Memorial Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Grazia Buscemi, Hernán C. Melgratti |
Contracts for Abstract Processes in Service Composition |
FIT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Grazia Buscemi, Hernán C. Melgratti |
Abstract Processes in Orchestration Languages. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti |
Modelling Dynamic Software Architectures using Typed Graph Grammars. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto |
Multiparty Sessions in SOC. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Hernán C. Melgratti |
Synchronous Multiparty Synchronizations and Transactions. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Baragatti, Roberto Bruni, Hernán C. Melgratti, Ugo Montanari, Giorgio Spagnolo |
Prototype Platforms for Distributed Agreements. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Grazia Buscemi, Hernán C. Melgratti |
Transactional Service Level Agreement. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Event Structure Semantics for Dynamic Graph Grammars. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Event Structure Semantics for Nominal Calculi. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti |
Dynamic Graph Transformation Systems. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti |
Non-sequential Behaviour of Dynamic Nets. |
ICATPN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto |
Translating Orc Features into Petri Nets and the Join Calculus. |
WS-FM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Bacciu, Alessio Botta, Hernán C. Melgratti |
A Fuzzy Approach for Negotiating Quality of Services. |
TGC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Michael J. Butler, Carla Ferreira, C. A. R. Hoare, Hernán C. Melgratti, Ugo Montanari |
Comparing Two Approaches to Compensable Flow Composition. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Theoretical foundations for compensations in flow composition languages. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
process description languages, transactions, compensations |
| 1 | Roberto Bruni, Gian Luigi Ferrari, Hernán C. Melgratti, Ugo Montanari, Daniele Strollo, Emilio Tuosto |
From Theory to Practice in Transactional Composition of Web Services. |
EPEW/WS-FM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Flat Committed Join in Join. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Nested Commits for Mobile Calculi: Extending Join. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Roberto Bruni, Hernán C. Melgratti, Ugo Montanari |
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. |
Lectures on Concurrency and Petri Nets |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")