BibSonomy publications for /author/Lanese http://www.bibsonomy.org/author/Lanese BibSonomy RSS Feed for /author/Lanese Parametric synchronizations in mobile nominal calculi. dblp http://www.bibsonomy.org/bibtex/205953ec0bee368774b78e41538cd1b66/dblp dblp 2008-08-21T00:00:00+02:00 dblp
Parametric synchronizations in mobile nominal calculi.
Roberto Bruni and Ivan Lanese Theor. Comput. Sci. 402 102-119 (2008)
to dblp by dblp on 2008-08-21 00:00:00
]]> On the Expressiveness and Decidability of Higher-Order Process Calculi. dblp http://www.bibsonomy.org/bibtex/278cbfd439fa91c44df9d24627c2e6fee/dblp dblp 2008-06-28T00:00:00+02:00 dblp
On the Expressiveness and Decidability of Higher-Order Process Calculi.
Ivan Lanese and Jorge A. Pérez and Davide Sangiorgi and Alan Schmitt LICS 145-155 (2008)
to dblp by dblp on 2008-06-28 00:00:00
]]> Synchronous Multiparty Synchronizations and Transactions. dblp http://www.bibsonomy.org/bibtex/2158026bacb244e5a27083fc3f6bf744b/dblp dblp 2008-06-16T00:00:00+02:00 dblp
Synchronous Multiparty Synchronizations and Transactions.
Ivan Lanese and Hernán C. Melgratti Concurrency, Graphs and Models 76-95 (2008)
to dblp by dblp on 2008-06-16 00:00:00
]]> Mapping Fusion and Synchronized Hyperedge Replacement into logic programming. dblp http://www.bibsonomy.org/bibtex/25cc07ed32ee331eee44bf574f0cc3f0e/dblp dblp 2008-06-12T00:00:00+02:00 dblp
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming.
Ivan Lanese and Ugo Montanari TPLP 7 123-151 (2007)
to dblp by dblp on 2008-06-12 00:00:00
]]> Exploiting User-definable Synchronizations in Graph Transformation. dblp http://www.bibsonomy.org/bibtex/26f9decfcd107de9665fe8645e2f57617/dblp dblp 2008-06-11T00:00:00+02:00 dblp
Exploiting User-definable Synchronizations in Graph Transformation.
Ivan Lanese Electr. Notes Theor. Comput. Sci. 211 27-38 (2008)
to dblp by dblp on 2008-06-11 00:00:00
]]> Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. dblp http://www.bibsonomy.org/bibtex/2d60ee616fa794b39fa22e8edc7ead192/dblp dblp 2008-06-05T00:00:00+02:00 dblp
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.
Luís Cruz-Filipe and Ivan Lanese and Francisco Martins and António Ravara and Vasco Thudichum Vasconcelos FMOODS 59-77 (2008)
to dblp by dblp on 2008-06-05 00:00:00
]]> Multiparty Sessions in SOC. dblp http://www.bibsonomy.org/bibtex/2a5401aa91ba86917fc906b3858a3de80/dblp dblp 2008-05-30T00:00:00+02:00 dblp
Multiparty Sessions in SOC.
Roberto Bruni and Ivan Lanese and Hernán C. Melgratti and Emilio Tuosto COORDINATION 67-82 (2008)
to dblp by dblp on 2008-05-30 00:00:00
]]> Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming dblp http://www.bibsonomy.org/bibtex/2f1d1cba11f308cd24c2cc690dfc5240f/dblp dblp 2008-01-02T00:00:00+01:00 dblp
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming
Ivan Lanese and Ugo Montanari CoRR abs/cs/0504050 (2005)
to dblp by dblp on 2008-01-02 00:00:00
]]> Disciplining Orchestration and Conversation in Service-Oriented Computing. dblp http://www.bibsonomy.org/bibtex/238327007488d2e5fc77a7b75a21cfc1e/dblp dblp 2007-12-06T00:00:00+01:00 dblp
Disciplining Orchestration and Conversation in Service-Oriented Computing.
Ivan Lanese and Francisco Martins and Vasco Thudichum Vasconcelos and António Ravara SEFM 305-314 (2007)
to dblp by dblp on 2007-12-06 00:00:00
]]> PRISMA: A Mobile Calculus with Parametric Synchronization. dblp http://www.bibsonomy.org/bibtex/2c49fc8c950302f04c4269dd6605184ee/dblp dblp 2007-11-29T00:00:00+01:00 dblp
PRISMA: A Mobile Calculus with Parametric Synchronization.
Roberto Bruni and Ivan Lanese TGC 132-149 (2006)
to dblp by dblp on 2007-11-29 00:00:00
]]>