Searching for authors named "Ivan Lanese" – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Concurrent and located synchronizations in π-calculus
- …Concurrent and Located Synchronizations in π-Calculus ⋆ Ivan Lanese Computer Science Department…
- Cited by 1 (1 self) – Add To MetaCart
-
Synchronizations with Mobility for Graph Transformations ⋆
- …Synchronizations with Mobility for Graph Transformations ⋆ Ivan Lanese and Ugo Montanari Computer…
- Add To MetaCart
-
Insights emerged while comparing three models for
- …Insights emerged while comparing three models for global computing Ivan Lanese and Ugo Montanari…
- Add To MetaCart
-
Synchronization algebras with mobility for graph transformations
- …Synchronization Algebras with Mobility for Graph Transformations ⋆ 1 ,2 Ivan Lanese and Ugo…
- Cited by 12 (8 self) – Add To MetaCart
-
Synchronized hyperedge replacement for heterogeneous systems
- …Synchronized Hyperedge Replacement for Heterogeneous Systems Ivan Lanese and Emilio Tuosto…
- Cited by 8 (5 self) – Add To MetaCart
-
On graph(ic) encodings
- …On Graph(ic) Encodings Roberto Bruni and Ivan Lanese Dipartimento di Informatica, Università di…
- Cited by 1 (0 self) – Add To MetaCart
-
I.: PRISMA: A parametric calculus based on synchronization algebras with mobility
- … and Ivan Lanese Computer Science Department, University of Pisa, Italy. {bruni,lanese}@(email omitted); Abstract…
- Cited by 1 (0 self) – Add To MetaCart
-
Towards a unifying theory for web services composition
- …Towards a Unifying Theory for Web Services Composition ⋆ Manuel Mazzara 1 and Ivan Lanese 2 1…
- Cited by 7 (3 self) – Add To MetaCart
-
Università di Bologna Abstract
- …On the Expressiveness and Decidability of Higher-Order Process Calculi ∗ Ivan Lanese Università di…
- Add To MetaCart
-
unknown title
- … for StatelessConnectors Roberto Bruni Ivan Lanese Ugo Montanari May 3, 2005 ADDRESS: via F. Buonarroti 2…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
