Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Structure: Internal structure identifier : 47709
publicationDateY_i : 2019
Page :
sorted by
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

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

Towards Semantic Process Mining Through Knowledge-Based Trace Abstraction

 G. Leonardi , M. Striani , S. Quaglini , A. Cavallini , S. Montani
7th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Dec 2017, Neuchatel, Switzerland. pp.45-64, ⟨10.1007/978-3-030-11638-5_3⟩
Conference papers hal-02060703v1
Page :