Search - IFIP Open Digital Library Access content directly

Filter your results

16 results
Author: personID (integer) : 856217
Page :
sorted by
Image document

Code Mobility Meets Self-organisation: A Higher-Order Calculus of Computational Fields

 Ferruccio Damiani , Mirko Viroli , Danilo Pianini , Jacob Beal
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.113-128, ⟨10.1007/978-3-319-19195-9_8⟩
Conference papers hal-01767321v1

Coordination Models and Languages

 Tom Holvoet , Mirko Viroli
Springer International Publishing, LNCS-9037, 2015, Lecture Notes in Computer Science, 978-3-319-19281-9. ⟨10.1007/978-3-319-19282-6⟩
Books hal-01774946v1
Image document

ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming

 Gianluca Aguzzi , Roberto Casadei , Niccolò Maltoni , Danilo Pianini , Mirko Viroli
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.285-299, ⟨10.1007/978-3-030-78142-2_18⟩
Conference papers hal-03387835v1
Image document

Tuple-Based Coordination in Large-Scale Situated Systems

 Roberto Casadei , Mirko Viroli , Alessandro Ricci , Giorgio Audrito
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.149-167, ⟨10.1007/978-3-030-78142-2_10⟩
Conference papers hal-03387837v1
Image document

From Field-Based Coordination to Aggregate Computing

 Mirko Viroli , Jacob Beal , Ferruccio Damiani , Giorgio Audrito , Roberto Casadei , et al.
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.252-279, ⟨10.1007/978-3-319-92408-3_12⟩
Conference papers hal-01821488v1
Image document

Aggregate Processes in Field Calculus

 Roberto Casadei , Mirko Viroli , Giorgio Audrito , Danilo Pianini , Ferruccio Damiani
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.200-217, ⟨10.1007/978-3-030-22397-7_12⟩
Conference papers hal-02365504v1
Image document

On a Higher-Order Calculus of Computational Fields

 Jacob Beal , Giorgio Audrito , Mirko Viroli , Ferruccio Damiani , Danilo Pianini
39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2019, Copenhagen, Denmark. pp.289-292, ⟨10.1007/978-3-030-21759-4_17⟩
Conference papers hal-02313736v1
Image document

Space-Time Universality of Field Calculus

 Giorgio Audrito , Jacob Beal , Ferruccio Damiani , Mirko Viroli
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.1-20, ⟨10.1007/978-3-319-92408-3_1⟩
Conference papers hal-01821491v1
Image document

Self-organising Coordination Regions: A Pattern for Edge Computing

 Roberto Casadei , Danilo Pianini , Mirko Viroli , Antonio Natali
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.182-199, ⟨10.1007/978-3-030-22397-7_11⟩
Conference papers hal-02365498v1
Image document

The share Operator for Field-Based Coordination

 Giorgio Audrito , Jacob Beal , Ferruccio Damiani , Danilo Pianini , Mirko Viroli
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.54-71, ⟨10.1007/978-3-030-22397-7_4⟩
Conference papers hal-02365499v1
Image document

Resilient Distributed Collection Through Information Speed Thresholds

 Giorgio Audrito , Sergio Bergamini , Ferruccio Damiani , Mirko Viroli
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.211-229, ⟨10.1007/978-3-030-50029-0_14⟩
Conference papers hal-03273987v1
Image document

A Calculus of Self-stabilising Computational Fields

 Mirko Viroli , Ferruccio Damiani
16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.163-178, ⟨10.1007/978-3-662-43376-8_11⟩
Conference papers hal-01290075v1
Image document

Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments

 Mirko Viroli , Danilo Pianini , Jacob Beal
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.212-229, ⟨10.1007/978-3-642-30829-1_15⟩
Conference papers hal-01529604v1
Image document

Time-Fluid Field-Based Coordination

 Danilo Pianini , Stefano Mariani , Mirko Viroli , Franco Zambonelli
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.193-210, ⟨10.1007/978-3-030-50029-0_13⟩
Conference papers hal-03273993v1
Image document

Optimally-Self-Healing Distributed Gradient Structures Through Bounded Information Speed

 Giorgio Audrito , Ferruccio Damiani , Mirko Viroli
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.59-77, ⟨10.1007/978-3-319-59746-1_4⟩
Conference papers hal-01657344v1
Image document

Improving Gossip Dynamics Through Overlapping Replicates

 Danilo Pianini , Jacob Beal , Mirko Viroli
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.192-207, ⟨10.1007/978-3-319-39519-7_12⟩
Conference papers hal-01631721v1
Page :