Search - IFIP Open Digital Library Access content directly

Filter your results

6 results
Sub-domain level 1 : info.info-ni
authFullName_s : Michele Loreti
Image document

A Fixpoint-Based Calculus for Graph-Shaped Computational Fields

Alberto Lluch Lafuente , Michele Loreti , Ugo Montanari
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.101-116, ⟨10.1007/978-3-319-19282-6_7⟩
Conference papers hal-01774933v1
Image document

A Distributed Coordination Infrastructure for Attribute-Based Interaction

Yehia Abd Alrahman , Rocco De Nicola , Giulio Garbi , Michele Loreti
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.1-20, ⟨10.1007/978-3-319-92612-4_1⟩
Conference papers hal-01824810v1
Image document

How Adaptive and Reliable is Your Program?

Valentina Castiglioni , Michele Loreti , Simone Tini
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.60-79, ⟨10.1007/978-3-030-78089-0_4⟩
Conference papers hal-03740265v1
Image document

ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication

Rocco De Nicola , Tan Duong , Michele Loreti
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.111-128, ⟨10.1007/978-3-030-22397-7_7⟩
Conference papers hal-02365500v1
Image document

Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems

Diego Latella , Michele Loreti , Mieke Massink
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.19-34, ⟨10.1007/978-3-319-19282-6_2⟩
Conference papers hal-01774942v1
Image document

On the Power of Attribute-Based Communication

Yehia Abd Alrahman , Rocco de Nicola , Michele Loreti
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.1-18, ⟨10.1007/978-3-319-39570-8_1⟩
Conference papers hal-01432924v1